anton-petrunin / kiselyov
Геометрия по Киселёву
☆24Updated last month
Alternatives and similar repositories for kiselyov:
Users that are interested in kiselyov are comparing it to the libraries listed below
- учебник по Haskell☆276Updated last year
- Компилятор Рефала-5λ☆86Updated last year
- GOST: Russian standards related to computers☆18Updated 5 years ago
- trinary.dart☆16Updated 10 years ago
- JIT-ускоритель программ на языке Python☆32Updated 2 years ago
- An implementation of the Russell logical framework☆8Updated 5 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- Git Autocomplete is a Far Manager plugin☆27Updated 7 years ago
- ☆11Updated 9 years ago
- ☆38Updated 3 years ago
- Automatically exported from code.google.com/p/funprog-ru☆34Updated 9 years ago
- Проект шрифтов ГОСТ 2.304-81 (ttf, otf, ...), пакета TeX для них, msi, msm, chocolatey пакета для них☆15Updated 8 years ago
- Von-Neumann 16-bit relay computer with Brainfuck++ instruction set☆44Updated 5 years ago
- ☆24Updated 5 years ago
- ☆40Updated 4 years ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆72Updated last year
- Mathematical layout for web and paper☆46Updated 2 years ago
- Liscript GUI Java Desktop Swing☆27Updated last year
- Parser 3, HTML-embedded scripting language☆28Updated 2 months ago
- Russian translation of Okasaki's Purely Functional Data Structures☆170Updated 4 years ago
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆15Updated 3 years ago
- Главный сайт сообщества☆229Updated 2 years ago
- 🦔 CLI for restoring the letter «ё» (yo) in russian texts☆171Updated 2 years ago
- Performance patches and build fixes for Elbrus 2000 (e2k) architecture.☆46Updated last week
- Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences☆16Updated 8 years ago
- perl script for LiveJournal blog backup☆61Updated last year
- R&Q☆51Updated 2 months ago
- Креш-курс по Lisp☆17Updated 8 years ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated last year
- [abandoned] The script for locally saving and incremental updating private and groupchat messages from social service vk.com.☆43Updated last year