dalnefre / kernel_abeLinks
John Shutt's "Kernel" language implemented on ABE (C) runtime.
☆13Updated 7 years ago
Alternatives and similar repositories for kernel_abe
Users that are interested in kernel_abe are comparing it to the libraries listed below
Sorting:
- A programming argot☆57Updated last year
- Kernel-like interpreter☆25Updated last year
- ☆14Updated 4 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- experimental computational medium and supporting tools☆23Updated this week
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- Small Prolog☆14Updated 9 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 years ago
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- A concise programming language that is fun to use☆16Updated 10 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Updated 4 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 3 years ago
- Clojure program to exhaustively search for optimal Java programs☆21Updated 13 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Studio is an interactive software diagnostics environment☆121Updated 4 years ago
- ☆18Updated 6 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 7 years ago
- okami is an application development platform☆39Updated 4 months ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- A PEG that compiles itself.☆76Updated 15 years ago