anton-petrunin / kiselyovLinks
Геометрия по Киселёву
☆27Updated 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 6 months ago
- ☆13Updated 6 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆45Updated 7 years ago
- trinary.dart☆16Updated 10 years ago
- Генератор стихов на Prolog☆23Updated 4 years ago
- Yad Studio - Markov algorithms IDE and interpreter☆43Updated 11 years ago
- JIT-ускоритель программ на языке Python☆33Updated 3 years ago
- учебник по Haskell☆276Updated 2 years ago
- Teaching language LaMa for a compiler course☆77Updated 6 months ago
- Главный сайт сообщества☆228Updated 2 years ago
- Проект шрифтов ГОСТ 2.304-81 (ttf, otf, ...), пакета TeX для них, msi, msm, chocolatey пакета для них☆16Updated 9 years ago
- ☆24Updated 5 years ago
- ☆11Updated 10 years ago
- Tiny parser combinators library written in Python.☆17Updated 5 months ago
- Development of the univalent foundations of mathematics in Coq☆18Updated 13 years ago
- Креш-курс по Lisp☆17Updated 9 years ago
- minimal lua/sdl platform☆23Updated 5 months ago
- simple processor circuit suitable for repeating in transistors☆42Updated last year
- The smallest operation system in the world☆122Updated 7 years ago
- Binary Editor☆21Updated 3 months ago
- Untyped, lightweight, crossplatform OOP language.☆94Updated 5 years ago
- Simple OS-like program for x86-64 and AArch64☆63Updated 10 years ago
- Mathematical layout for web and paper☆48Updated 3 years ago
- Von-Neumann 16-bit relay computer with Brainfuck++ instruction set☆47Updated 6 years ago
- Resurrecting PP-BESM☆26Updated this week
- ☆25Updated last year
- Ваша первая книга о языке Haskell☆268Updated 2 years ago
- Презентация "Почему Golang такой странный"☆13Updated 6 years ago
- Simple hobby POSIX-compatible OS for i8086+☆17Updated 2 years ago
- ☆20Updated 3 years ago