bmstu-iu9 / refal-5-lambda
Компилятор Рефала-5λ
☆85Updated last year
Alternatives and similar repositories for refal-5-lambda:
Users that are interested in refal-5-lambda are comparing it to the libraries listed below
- ☆38Updated 3 years ago
- Teaching language LaMa for a compiler course☆72Updated 2 weeks ago
- ☆13Updated 2 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- Лабораторные работы по курсу «Конструирование компиляторов»☆11Updated 2 years ago
- ☆17Updated 3 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated 3 weeks ago
- Sample programs for comparison of different VM interpretation techniques☆33Updated 5 months ago
- trinary.dart☆16Updated 10 years ago
- Материалы по курсу «Основы информатики»☆26Updated 2 months ago
- Programming language based on russian language☆14Updated last month
- LLVM powered Little Smalltalk.☆93Updated last year
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆27Updated 3 years ago
- HN Compiler☆62Updated 6 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆35Updated 11 months ago
- αProlog☆17Updated last year
- Simulator of DISPAK operating system (BESM-6)☆18Updated last month
- Proof theory seminar☆33Updated 4 years ago
- Lisp In Small Pieces на русском языке☆192Updated 2 years ago
- Quick C-- compiler (no longer maintained)☆158Updated 11 years ago
- Tools for rapid prototyping of DSL compilers☆83Updated 3 years ago
- учебник по Haskell☆276Updated last year
- Common Lisp Runtime☆12Updated 8 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- SP-Forth☆58Updated 2 months ago
- ☆81Updated last year
- ☆11Updated 9 years ago