stevenbagley / metaii
Common lisp implementation of Val Schorr's Meta-II language
☆18Updated 8 years ago
Alternatives and similar repositories for metaii:
Users that are interested in metaii are comparing it to the libraries listed below
- ☆22Updated 5 years ago
- ☆19Updated last year
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated last year
- software archaeology of reflective towers of interpreters☆16Updated 6 months ago
- Kanren with databases☆43Updated 9 months ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- The MLtonLibrary repository☆36Updated 2 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- A server, client and UI for remotely debugging Racket applications.☆20Updated 10 months ago
- experimental computational medium and supporting tools☆22Updated this week
- #lang for writing C code☆15Updated 7 years ago