anton-petrunin / kiselyovLinks
Геометрия по Киселёву
☆26Updated 2 months ago
Alternatives and similar repositories for kiselyov
Users that are interested in kiselyov are comparing it to the libraries listed below
Sorting:
- Компилятор Рефала-5λ☆87Updated 2 months ago
- ☆13Updated 3 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- Teaching language LaMa for a compiler course☆75Updated 3 months ago
- ☆24Updated 5 years ago
- Генератор стихов на Prolog☆23Updated 4 years ago
- учебник по Haskell☆276Updated 2 years ago
- Yad Studio - Markov algorithms IDE and interpreter☆43Updated 11 years ago
- ☆38Updated 3 years ago
- minimal lua/sdl platform☆22Updated 2 months ago
- JIT-ускоритель программ на языке Python☆33Updated 3 years ago
- Mathematical layout for web and paper☆48Updated 2 years ago
- ☆11Updated 9 years ago
- An implementation of the Russell logical framework☆8Updated 5 years ago
- trinary.dart☆16Updated 10 years ago
- Front-end C++ compiler☆50Updated 2 years ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆43Updated last month
- FizzBuzz, formally verified, provably correct☆27Updated 2 years ago
- Dialog System for Structured Programming☆20Updated 8 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆51Updated 9 months ago
- Главный сайт сообщества☆228Updated 2 years ago
- Befunge-93 interpreter written in Python with a debugger☆19Updated 8 years ago
- HN Compiler☆61Updated last month
- Collection of my articles in English and Russian☆28Updated 4 years ago
- Tools for rapid prototyping of DSL compilers☆86Updated 4 years ago
- simple processor circuit suitable for repeating in transistors☆42Updated 10 months ago
- Ваша первая книга о языке Haskell☆267Updated last year
- Von-Neumann 16-bit relay computer with Brainfuck++ instruction set☆47Updated 6 years ago
- Monoidal stack machine☆10Updated 6 years ago
- Solutions to MOOC "Functional programming in Haskell" by stepic.org☆21Updated 8 years ago