mew-cx / chaitin_lisp
Runnable code from Chaitin's "The Limits of Mathematics (in C)"
☆15Updated 2 years ago
Alternatives and similar repositories for chaitin_lisp
Users that are interested in chaitin_lisp are comparing it to the libraries listed below
Sorting:
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆32Updated last year
- Luke Tierney's Xlispstat statistical environment☆17Updated 9 years ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- Le-Lisp by INRIA☆28Updated 2 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- ☆18Updated 6 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 9 years ago
- Scheme to Common Lisp☆16Updated last year
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- okami is an application development platform☆35Updated 9 months ago
- CoSy APL NoteComputing environment in open x86 Reva Forth☆36Updated 5 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- ☆19Updated 2 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 5 months ago
- MIT CADR original verilog and simulator☆16Updated 9 years ago
- Lisp interpreter and compiler from 1977-1988 for MSDOS.☆32Updated 7 years ago
- Forth metacompiler written in Lisp, for bootstrapping☆45Updated 3 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆18Updated 11 years ago
- ☆14Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago