anton-petrunin / kiselyovLinks
Геометрия по Киселёву
☆26Updated 5 months ago
Alternatives and similar repositories for kiselyov
Users that are interested in kiselyov are comparing it to the libraries listed below
Sorting:
- Компилятор Рефала-5λ☆90Updated 5 months ago
- ☆13Updated 6 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆45Updated 7 years ago
- trinary.dart☆16Updated 10 years ago
- ☆24Updated 5 years ago
- JIT-ускоритель программ на языке Python☆33Updated 3 years ago
- учебник по Haskell☆276Updated 2 years ago
- Tiny parser combinators library written in Python.☆17Updated 5 months ago
- Генератор стихов на Prolog☆24Updated 4 years ago
- ☆11Updated 10 years ago
- Yad Studio - Markov algorithms IDE and interpreter☆43Updated 11 years ago
- Teaching language LaMa for a compiler course☆77Updated 5 months ago
- minimal lua/sdl platform☆22Updated 5 months ago
- simple processor circuit suitable for repeating in transistors☆42Updated last year
- Учебник теории категорий☆369Updated 7 years ago
- GOST: Russian standards related to computers☆18Updated 5 years ago
- HiAsm 5 IDE☆33Updated 9 years ago
- Von-Neumann 16-bit relay computer with Brainfuck++ instruction set☆47Updated 6 years ago
- ☆41Updated 3 years ago
- Development of the univalent foundations of mathematics in Coq☆18Updated 13 years ago
- Emulator of "Electronika MK 61" and "Electronika MK-54" Soviet RPN programmable calculators for Android platform☆26Updated last year
- Материалы по курсу «Основы информатики»☆27Updated 8 months ago
- Sample programs for comparison of different VM interpretation techniques☆36Updated 11 months ago
- Performance patches and build fixes for Elbrus 2000 (e2k) architecture.☆47Updated last month
- Ternary computer The Setun 1958☆37Updated 6 months ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated 4 months ago
- Главный сайт сообщества☆228Updated 2 years ago
- Advanced and very powerful scheduler, scripting tool and automation manager☆88Updated 11 months ago
- Dialog System for Structured Programming☆20Updated 8 years ago
- Tree - simple fast compact user-readable binary-safe extensible structural format☆211Updated last year