antonyeagle / edl
Elements of Deductive Logic, an open-source intermediate logic textbook
☆12Updated 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☆30Updated 3 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆12Updated last year
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- Small code examples demonstrating the use of Euterpea2 and HSoM☆30Updated 4 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 4 months ago
- Open files in vis with fzf☆12Updated 4 years ago
- ☆16Updated 3 years ago
- Tim Button's Cambridge version of forallx☆12Updated 6 years ago
- Notes on P-omega☆14Updated 7 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆32Updated 7 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 3 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- A terminal interface for Conway's Game of Life☆61Updated 4 years ago
- GNU SETL☆27Updated 2 weeks ago
- A VISUAL TEXT DISPLAY SYSTEM FOR THE IBM 5100 PORTABLE COMPUTER☆11Updated 4 years ago
- my Hakyll blog☆20Updated last year
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆17Updated last year
- I refer you to the name of the repository☆25Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆79Updated 4 months ago
- how to write lots of quines☆34Updated last week
- ⛳ Sokoban game in 10 lines of Haskell☆27Updated last year
- This repo has been merged into: https://github.com/music-suite/music-suite☆52Updated 4 years ago
- The collected works of F. W. Lawvere☆333Updated 5 months 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
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"☆13Updated 4 years ago
- Interactive factorization diagrams☆30Updated last year
- tiny experimental language for limited environments☆17Updated last year
- A Paint.NET FileType plugin that loads and saves Photoshop-compatible patterns.☆9Updated last year