antonyeagle / edlLinks
Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Updated 8 years ago
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 10 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- Tim Button's open textbook on set theory☆37Updated last year
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 7 years ago
- ☆17Updated 3 years ago
- Tim Button's Cambridge version of forallx☆13Updated 6 years ago
- Notes on P-omega☆14Updated 7 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆20Updated 3 years ago
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- A MIDI message routing tool written in Haskell. This program was written to benchmark the performance of MIDI message handling in Euterpe…☆14Updated 4 years ago
- Examples of literate programming by Knuth☆37Updated last year
- British Square Engine (Analysis and Perfect AI Player)☆17Updated 4 years ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Empire for the PDP-10 in the FORTRAN-10 programming language☆48Updated 3 years ago
- Textbook on metalogic based on the Open Logic Project☆42Updated last year
- Tea Time Numerical Analysis☆26Updated 2 years ago
- SNES reverse engineering toolkit with support for static recompilation☆30Updated 3 years ago
- Schreibe Dein Programm!☆39Updated 10 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆58Updated 7 months ago
- Mathematical Components (the Book)☆142Updated last year
- Learn Lisp interactively!☆30Updated 6 months ago
- Examples from my book Programming Boot Sector Games☆57Updated 10 months ago
- Mandelbrot for Xerox Alto, written in BCPL☆17Updated 7 years ago
- Wasm examples, brought to you by humans!☆16Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- tests☆10Updated 6 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- Nazghul is an Ultima-like game engine (2D tile graphics) with combat, magic, NPC AI, an embedded scripting language, and in-game editing.☆12Updated 11 years ago
- Bézier curves in Haskell☆28Updated 8 years ago