dpiponi / SASLLinks
A simple and educational compiler for the SASL programming language
☆23Updated 7 years ago
Alternatives and similar repositories for SASL
Users that are interested in SASL are comparing it to the libraries listed below
Sorting:
- My Own Linear Lisp☆40Updated 6 years ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last week
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 6 years ago
- purple: compiling a reflective language☆32Updated 7 months ago
- αProlog☆17Updated last year
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Lisp interpreter with fexprs written in JavaScript☆9Updated 8 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- CLP(SMT) on top of miniKanren☆36Updated 3 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Updated 8 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 12 years ago
- ☆22Updated 5 years ago
- The Delphin Project☆10Updated 8 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- microkanren in sml☆26Updated 10 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago