mew-cx / chaitin_lispLinks
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.☆33Updated last year
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- ☆18Updated 6 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- Finds optimal code sequences for stack transformations☆24Updated 6 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- My Own Linear Lisp☆40Updated 6 years ago
- ☆38Updated 3 weeks ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- ☆21Updated 12 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 11 years ago
- ☆22Updated 5 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 3 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- ☆26Updated 2 months ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- Pico version of revised⁷ report on the algorithmic language scheme☆31Updated 4 months ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 6 months ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Library for exact real number computations☆40Updated 10 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- s7 Scheme☆58Updated 6 years ago
- MIT CADR original verilog and simulator☆16Updated 9 years ago