Software Foundations is a series introducing the mathematical foundations of reliable software. Each volume's text and exercises are formalized as a proof script for the Rocq proof assistant. It targets readers from advanced undergraduates to researchers; no background in logic or programming languages is assumed.
A family research blog on navies and merchant shipping from 1500 to the present. The authors photograph, draw and research archives, literature and the web, sharing information without commercial intent. Posts cover whaling history, individual ships and naval commissions.
Exploitee.rs is a hardware security research collective that finds vulnerabilities in embedded devices, IoT products and mobile systems. It lists research areas including IoT security, entertainment systems, home automation and mobile security, and offers breakout boards, a Hacker Pager and a shop of hardware security tools.
eBooks-IT helps search books, ebooks, papers, library records, or reading archives.
OpenStax College Textbooks helps search books, ebooks, papers, library records, or reading archives.
A website by Gerard 't Hooft, under construction, intended for young students and others who want to study theoretical physics in their own time. It lists lecture course topics from primary mathematics and classical mechanics through quantum field theory and super string theory, and aims to point to useful papers and books.
OAPEN is an infrastructure for peer-reviewed open access books that connects libraries, publishers, researchers and funders. It offers a library to browse by subject, publisher, collection or language, and states it holds over 40,000 open access books.
Community notes
Be the first to share how this project worked for you.
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
A family research blog on navies and merchant shipping from 1500 to the present. The authors photograph, draw and research archives, literature and the web, sharing information without commercial intent. Posts cover whaling history, individual ships and naval commissions.
Exploitee.rs is a hardware security research collective that finds vulnerabilities in embedded devices, IoT products and mobile systems. It lists research areas including IoT security, entertainment systems, home automation and mobile security, and offers breakout boards, a Hacker Pager and a shop of hardware security tools.
eBooks-IT helps search books, ebooks, papers, library records, or reading archives.
OpenStax College Textbooks helps search books, ebooks, papers, library records, or reading archives.
A website by Gerard 't Hooft, under construction, intended for young students and others who want to study theoretical physics in their own time. It lists lecture course topics from primary mathematics and classical mechanics through quantum field theory and super string theory, and aims to point to useful papers and books.
OAPEN is an infrastructure for peer-reviewed open access books that connects libraries, publishers, researchers and funders. It offers a library to browse by subject, publisher, collection or language, and states it holds over 40,000 open access books.
