ilya-klyuchnikov / refalLinks
☆13Updated 4 months ago
Alternatives and similar repositories for refal
Users that are interested in refal are comparing it to the libraries listed below
Sorting:
- Компилятор Рефала-5λ☆87Updated 3 months ago
- SPSC: A Small Positive Supercompiler☆38Updated last year
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- Teaching language LaMa for a compiler course☆75Updated 4 months ago
- It is just my own wiki website. Nothing personal there, so it's public.☆38Updated 7 months ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- GNU SETL☆30Updated 6 months ago
- Lasca is Scala shifted towards Haskell.☆132Updated 6 years ago
- Oberon-07 translator☆45Updated last week
- a Java VM implemented in Forth☆40Updated 13 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Lispkit Lisp/SECD Machine☆12Updated 7 years ago
- stack-based RPN functional programming language☆53Updated 7 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A compiler for an Ada-like language☆33Updated 3 months ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- An implementation of Oz on top of Truffle and Graal☆42Updated 3 years ago
- purple: compiling a reflective language☆33Updated 10 months ago
- Monoidal stack machine☆10Updated 6 years ago
- The Delphin Project☆10Updated 9 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Multi Oberon Compiler☆40Updated 4 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- αProlog☆18Updated 2 years ago
- ☆57Updated 8 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- Hope programming language interpreter☆41Updated 3 months ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago
- Slog 1.0☆43Updated last year