anton-petrunin / kiselyovLinks
Геометрия по Киселёву
☆26Updated 4 months ago
Alternatives and similar repositories for kiselyov
Users that are interested in kiselyov are comparing it to the libraries listed below
Sorting:
- ☆13Updated 5 months ago
- Teaching language LaMa for a compiler course☆76Updated 5 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆45Updated 7 years ago
- Генератор стихов на Prolog☆24Updated 4 years ago
- учебник по Haskell☆276Updated 2 years ago
- trinary.dart☆16Updated 10 years ago
- The smallest operation system in the world☆122Updated 7 years ago
- Binary Editor☆21Updated 2 months ago
- Dialog System for Structured Programming☆20Updated 8 years ago
- Учебник теории категорий☆368Updated 7 years ago
- JIT-ускоритель программ на языке Python☆33Updated 3 years ago
- Untyped, lightweight, crossplatform OOP language.☆94Updated 5 years ago
- ☆24Updated 5 years ago
- Yad Studio - Markov algorithms IDE and interpreter☆43Updated 11 years ago
- Generator of Turing Machines that run on Java generic types☆10Updated 8 years ago
- Tiny parser combinators library written in Python.☆15Updated 4 months ago
- Front-end C++ compiler☆49Updated 2 years ago
- ☆11Updated 7 years ago
- Simple OS-like program for x86-64 and AArch64☆63Updated 10 years ago
- FizzBuzz, formally verified, provably correct☆27Updated 2 years ago
- simple processor circuit suitable for repeating in transistors☆42Updated last year
- ☆39Updated 3 years ago
- HN Compiler☆61Updated last month
- Главный сайт сообщества☆228Updated 2 years ago
- Sample programs for comparison of different VM interpretation techniques☆36Updated 10 months ago
- Von-Neumann 16-bit relay computer with Brainfuck++ instruction set☆47Updated 6 years ago
- Ваша первая книга о языке Haskell☆268Updated last year
- C-- language : c--sphinx.narod.ru archive and source code☆71Updated 9 years ago
- Parser 3, HTML-embedded scripting language☆29Updated last month
- ☆11Updated 9 years ago