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:
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- A programming argot☆57Updated last year
- Small Prolog☆14Updated 9 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 9 years ago
- 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
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- ☆14Updated 5 years ago
- A concise programming language that is fun to use☆16Updated 10 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Tiny Object Run Time☆24Updated 10 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- experimental computational medium and supporting tools☆23Updated last week
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- A C implementation of the Shen programming language☆70Updated 4 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- minikanren mips assembler/disassembler☆34Updated 10 years ago
- Kanren with databases☆44Updated last year
- 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
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Resource Aware, Recursive Virtual Machine☆10Updated 3 years ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- ☆19Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- ☆22Updated 12 years ago
- s7 Scheme☆58Updated 6 years ago
- ☆18Updated 6 years ago