stevenbagley / metaii
Common lisp implementation of Val Schorr's Meta-II language
☆18Updated 7 years ago
Alternatives and similar repositories for metaii:
Users that are interested in metaii are comparing it to the libraries listed below
- ☆21Updated 5 years ago
- My Own Linear Lisp☆39Updated 6 years ago
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 2 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Kanren with databases☆43Updated 7 months ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- ☆19Updated last year
- ☆17Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated last year
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- Prototypes: Object Orientation, Functionally☆43Updated 5 months ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Racket bindings for Z3☆19Updated 12 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 8 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago