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:
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- A programming argot☆57Updated last year
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 4 years ago
- experimental computational medium and supporting tools☆23Updated last week
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 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
- Tiny Object Run Time☆24Updated 10 years ago
- ☆22Updated 12 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- Small Prolog☆14Updated 9 years ago
- A concise programming language that is fun to use☆16Updated 10 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- ☆18Updated 6 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Updated 4 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 3 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Updated 9 years ago
- ☆14Updated 5 years ago
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Updated 7 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- Clojure program to exhaustively search for optimal Java programs☆21Updated 13 years ago