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
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- software archaeology of reflective towers of interpreters☆16Updated 2 weeks ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- ☆19Updated last month
- Manfred von Thun's Programming Language Joy☆16Updated 5 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated 3 weeks ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Stackless Joy☆23Updated 2 months ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 12 years ago
- ☆21Updated 12 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- MLpolyR☆7Updated 8 years ago
- poetic concatenative programming language☆10Updated 10 months ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Scheme on SECD☆43Updated 4 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- The Delphin Project☆10Updated 8 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- Lisp interpreter with fexprs written in JavaScript☆9Updated 8 years ago
- Logic for story telling!☆34Updated 7 years ago