bmstu-iu9 / refal-5-lambda
Компилятор Рефала-5λ
☆82Updated 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
- Teaching language LaMa for a compiler course☆71Updated 2 months ago
- ☆13Updated 2 years ago
- ☆38Updated 2 years ago
- trinary.dart☆16Updated 9 years ago
- LLVM powered Little Smalltalk.☆93Updated last year
- Sample programs for comparison of different VM interpretation techniques☆32Updated 2 months ago
- A Forth dialect implementation for educational purposes☆57Updated 5 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- HN Compiler☆62Updated 5 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆27Updated 2 years ago
- Lisp In Small Pieces на русском языке☆192Updated 2 years ago
- Programming language based on russian language☆14Updated 3 months ago
- Multi Oberon Compiler☆38Updated 3 years ago
- ☆11Updated 9 years ago
- minimal lua/sdl platform☆22Updated 3 weeks ago
- αProlog☆17Updated last year
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 2 years ago
- учебник по Haskell☆277Updated last year
- ☆80Updated last year
- Smackage Package Manager for Standard ML☆123Updated 2 years ago
- Tools for rapid prototyping of DSL compilers☆83Updated 3 years ago
- Quick C-- compiler (no longer maintained)☆154Updated 10 years ago
- Functional Algorithms Verified in SSReflect [maintainer=@clayrat]☆45Updated 2 weeks ago
- Генератор стихов на Prolog☆24Updated 3 years ago
- Лабораторные работы по основам информатики☆26Updated 2 years ago
- FizzBuzz, formally verified, provably correct☆24Updated last year
- Common Lisp Runtime☆12Updated 8 years ago
- An implementation of the Russell logical framework☆8Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago