Software Foundations
A free online textbook series on logical foundations, functional programming and formal verification, taught through interactive Coq proofs.
No account needed · sign in to keep your taste everywhere
More like this
Pages that share Software Foundations's themes. Or browse all of Education.
Programming and Programming Languages
A free online textbook from Brown University that teaches programming language concepts through a custom language called…
CS 696 Functional Design and Programming
A San Diego State University course site on functional design and programming, with lecture material and assignments cov…
قلب (Qalb)
Ramsey Nasser's programming language written entirely in Arabic script, an art project with a calligraphy series that qu…
Immersive Math
An online linear algebra textbook with fully interactive 3D figures you can rotate and manipulate while reading each cha…
Rosetta Code
A programming chrestomathy wiki showing how the same tasks are solved in hundreds of different programming languages sid…
Relativity: A Modern Primer
A short and sweet textbook on Einstein's theory of relativity, taking a modern approach for readers who want the physics…
Stumble onto more like this
One click takes you to a page you didn't know you were looking for. Rate it and the next one lands closer to your taste.
Add to Browser — it's freeWorks in Chrome, Edge and Brave. No account needed.