antonyeagle / edlLinks
Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Updated last month
Alternatives and similar repositories for edl
Users that are interested in edl are comparing it to the libraries listed below
Sorting:
- A Markdown version of the free textbook created by Walter Ott☆23Updated 11 years ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Updated 5 years ago
- Domain-Specific Languages of Mathematics☆446Updated this week
- Textbook on metalogic based on the Open Logic Project☆44Updated 7 months ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆462Updated 7 years ago
- A formal logic framework that runs in the browser☆323Updated last year
- A curated list of awesome Category Theory resources.☆128Updated 2 weeks ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆115Updated 4 years ago
- Examples of literate programming by Knuth☆40Updated 7 months ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- The Principia Rewrite☆229Updated 2 months ago
- A graphical interactive proof assistant designed for education☆171Updated last year
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- [WIP] A book on the k language.☆50Updated 3 years ago
- HarmTrace (Harmony Analysis and Retrieval of Music with Type-level Representations of Abstract Chords Entities) is a system for automatic…☆63Updated 7 years ago
- Presentations.☆17Updated 3 years ago
- Mathematical Components (the Book)☆149Updated 4 months ago
- AlgoRhythm: A Haskell library for algorithmic music composition.☆23Updated 7 years ago
- CNN in APL☆23Updated 3 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 3 years ago
- The collected works of F. W. Lawvere☆371Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated 2 years ago
- Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal.☆109Updated 7 years ago
- Useful things for Standard ML☆71Updated last year
- Interactive fiction written in Haskell☆13Updated 7 years ago
- A Haskell implementation of Dijkstra's algorithm☆16Updated 11 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago