bmstu-iu9 / refal-5-lambda
Компилятор Рефала-5λ
☆84Updated 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 last week
- ☆13Updated 2 years ago
- Лабораторные работы по курсу «Конструирование компиляторов»☆11Updated 2 years ago
- Sample programs for comparison of different VM interpretation techniques☆33Updated 4 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆27Updated 2 years ago
- trinary.dart☆16Updated 10 years ago
- Programming language based on russian language☆14Updated last week
- LLVM powered Little Smalltalk.☆93Updated last year
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆35Updated 10 months ago
- minimal lua/sdl platform☆22Updated 2 months ago
- A Forth dialect implementation for educational purposes☆58Updated 5 years ago
- Материалы по курсу «Основы информатики»☆26Updated last month
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- Tools for rapid prototyping of DSL compilers☆84Updated 3 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆46Updated 2 months ago
- ☆16Updated 3 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 4 years ago
- SP-Forth☆55Updated last month
- учебник по Haskell☆276Updated last year
- Inline Assembly code in ur Haskell!☆41Updated this week
- JIT-ускоритель программ на языке Python☆32Updated 2 years ago
- Интерпретатор стекового языка программирования с пошаговым отладчиком и сменой тем оформления☆8Updated 7 years ago
- Tiny Forth-like language implementation☆21Updated 11 months ago
- αProlog☆17Updated last year
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated this week
- ☆81Updated last year
- HN Compiler☆62Updated 6 years ago