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
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated last year
- Forth emulator, as a Racket #lang☆21Updated last year
- ☆18Updated 6 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- CoSy APL NoteComputing environment in open x86 Reva Forth☆36Updated 5 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆24Updated 2 months ago
- ☆14Updated last year
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 2 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated last year
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 12 years ago
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago
- Finds optimal code sequences for stack transformations☆24Updated 5 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- The Aldor Programming Language☆34Updated this week
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- MIT CADR original verilog and simulator☆16Updated 9 years ago
- My Own Linear Lisp☆38Updated 6 years ago
- Luke Tierney's Xlispstat statistical environment☆16Updated 9 years ago
- various toys in j☆12Updated 2 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Livin' like it's 1813 (or 1988).☆32Updated 11 months ago