ilya-klyuchnikov / refalLinks
☆13Updated 2 months ago
Alternatives and similar repositories for refal
Users that are interested in refal are comparing it to the libraries listed below
Sorting:
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- Компилятор Рефала-5λ☆86Updated last month
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- αProlog☆18Updated last year
- Proof theory seminar☆35Updated 4 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- It is just my own wiki website. Nothing personal there, so it's public.☆38Updated 5 months ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last month
- Hope programming language interpreter☆41Updated 3 weeks ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- The Delphin Project☆10Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- MixML prototype interpreter☆27Updated 5 years ago
- purple: compiling a reflective language☆32Updated 8 months ago
- High-end Cryptographic Library☆44Updated 5 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- Library classes for the Twelf Proof System☆22Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Fast, simplified WAM-based Prolog system☆22Updated last month