mew-cx / chaitin_lisp
Runnable code from Chaitin's "The Limits of Mathematics (in C)"
☆14Updated 2 years ago
Related projects: ⓘ
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated 7 months ago
- Livin' like it's 1813 (or 1988).☆30Updated 6 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆35Updated 2 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆23Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Try s7 scheme in your browser, powered by WebAssembly☆40Updated 3 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- Write LaTeX-formatted documents using J evaluation☆17Updated 8 years ago
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- ☆19Updated last year
- Le-Lisp by INRIA☆27Updated last year
- ☆13Updated last year
- Tiny Object Run Time☆20Updated 9 years ago
- ☆18Updated 6 years ago
- ☆45Updated this week
- Forth emulator, as a Racket #lang☆22Updated last year
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- A *LISP emulator☆34Updated 4 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 10 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- A mini Lisp in 1k lines of C with Cheney's copying garbage collector, explained. Includes over 40 built-in Lisp primitives, floating poin…☆31Updated 8 months ago
- Forth metacompiler written in Lisp, for bootstrapping☆41Updated 3 years ago
- automatic differentiation library for common lisp☆19Updated 11 years ago
- various toys in j☆12Updated 2 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 4 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆31Updated 9 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- s7 Scheme☆53Updated 5 years ago
- Maxima client☆49Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year