rupertlssmith / hak_wambook
Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
☆26Updated 7 years ago
Related projects: ⓘ
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆40Updated 4 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆19Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 3 months ago
- purple: compiling a reflective language☆29Updated 2 years ago
- Fast, simplified WAM-based Prolog system☆17Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 7 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- software archaeology of reflective towers of interpreters☆15Updated 3 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆28Updated 2 years ago
- Collapsing Towers of Interpreters☆87Updated 7 months ago
- ☆34Updated 3 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- A synthesis-enabled solver for relational logic☆28Updated 6 years ago
- Java-based lightweight Prolog virtual machine☆31Updated 2 months ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Boolean Constraint Solving in Prolog☆38Updated last year
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Poplog☆21Updated 13 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 2 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Code for enumeration from a CFG☆18Updated 11 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- ☆18Updated last year
- Resolve software differencing and merging☆37Updated 2 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆26Updated 5 years ago