dpiponi / SASL
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
- My Own Linear Lisp☆40Updated 6 years ago
- Stackless Joy☆23Updated 3 weeks ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 12 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 8 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Framework for defining and using monads in Chez Scheme☆10Updated 12 years ago
- A bare-bones LCF-style proof assistant☆22Updated 5 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated last year
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- CLP(SMT) on top of miniKanren☆36Updated 3 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Scheme on SECD☆42Updated 4 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 11 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Lisp interpreter with fexprs written in JavaScript☆9Updated 8 years ago
- SML Parser Combinator Library☆28Updated 9 years ago