antonyeagle / edl
Elements of Deductive Logic, an open-source intermediate logic textbook
☆13Updated 7 years ago
Alternatives and similar repositories for edl:
Users that are interested in edl are comparing it to the libraries listed below
- A Markdown version of the free textbook created by Walter Ott☆23Updated 10 years ago
- SNES reverse engineering toolkit with support for static recompilation☆31Updated 3 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆32Updated 7 years ago
- A little Doom-like 2.5 game engine☆83Updated 10 years ago
- Wasm examples, brought to you by humans!☆16Updated 4 years ago
- Mathematical Components (the Book)☆141Updated last year
- P.D. Magnus' forallx logic textbook☆64Updated last week
- A VISUAL TEXT DISPLAY SYSTEM FOR THE IBM 5100 PORTABLE COMPUTER☆12Updated 4 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆150Updated 7 months ago
- Notes on P-omega☆14Updated 7 years ago
- Disassembly of Super Mario Bros 3☆17Updated 4 years ago
- Originally written by Alcaro. Asar is a SNES assembler, intended as a replacement for xkas v0.06☆9Updated 7 years ago
- NES Game Genie disassembly☆26Updated last year
- Small code examples demonstrating the use of Euterpea2 and HSoM☆30Updated 5 years ago
- Notes and solutions to exercises of "Haskell Programming from first principles"☆37Updated 4 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- CTSS source and binaries☆35Updated 2 years ago
- A catalog of code worth reading☆113Updated 7 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- ☆16Updated 3 years ago
- ☆11Updated 7 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 5 months ago
- FamiTracker public source code history☆33Updated 8 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Examples from my book Programming Boot Sector Games☆56Updated 8 months ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆18Updated 3 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
- Wolfenstein 3D, ray-casting FPS game I make to learn Haskell. No libraries used, rendering is done in terminal.☆109Updated 7 years ago