ilya-klyuchnikov / refal
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for refal
- Компилятор Рефала-5λ☆80Updated last year
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 2 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 2 years ago
- It is just my own wiki website. Nothing personal there, so it's public.☆36Updated 3 weeks ago
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- αProlog☆17Updated last year
- MixML prototype interpreter☆27Updated 4 years ago
- Proof theory seminar☆31Updated 3 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆19Updated 3 months ago
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Lasca is Scala shifted towards Haskell.☆128Updated 6 years ago
- HN Compiler☆62Updated 5 years ago
- Coq Lecture Notes (WIP)☆50Updated 4 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Updated 9 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- purple: compiling a reflective language☆29Updated last month
- Simple Dependent Type Checker☆10Updated 5 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- A simple supercompiler formally verified in Agda☆29Updated 7 years ago