dpiponi / SASL
A simple and educational compiler for the SASL programming language
☆23Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for SASL
- My Own Linear Lisp☆36Updated 6 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- Manfred von Thun's Programming Language Joy☆16Updated this week
- software archaeology of reflective towers of interpreters☆15Updated last month
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated 11 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Lisp interpreter with fexprs written in JavaScript☆9Updated 8 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 11 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Scheme on SECD☆42Updated 3 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Stackless Joy☆22Updated this week
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- microkanren in sml☆26Updated 9 years ago
- αProlog☆17Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- The Alms Programming Language☆44Updated 6 years ago
- an implementation of gradual typing in mit-scheme☆9Updated 3 years ago