anton-petrunin / kiselyov
Геометрия по Киселёву
☆21Updated 5 months ago
Related projects: ⓘ
- Компилятор Рефала-5λ☆78Updated 10 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- учебник по Haskell☆274Updated last year
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated 11 months ago
- Главный сайт сообщества☆228Updated last year
- ☆11Updated 8 years ago
- Teaching language LaMa for a compiler course☆67Updated last week
- ☆24Updated 4 years ago
- Лабораторные работы по основам информатики☆25Updated last year
- ☆38Updated 2 years ago
- Solutions to MOOC "Functional programming in Haskell" by stepic.org☆21Updated 7 years ago
- Mathematical layout for web and paper☆44Updated 2 years ago
- Ваша первая книга о языке Haskell☆261Updated 10 months ago
- Функциональное программирование простым языком + примеры☆30Updated 4 years ago
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆16Updated 2 years ago
- Automatically exported from code.google.com/p/funprog-ru☆35Updated 9 years ago
- DjVu.js is a program library for working with .djvu files online without any connection with the server. DjVu.js Viewer is a widget that…☆182Updated 3 months ago
- Генератор стихов на Prolog☆24Updated 3 years ago
- JIT-ускоритель программ на языке Python☆33Updated 2 years ago
- trinary.dart☆16Updated 9 years ago
- Russian translation of Okasaki's Purely Functional Data Structures☆168Updated 3 years ago
- Лучшие книги по высшей математике, по которым я учился☆38Updated 2 years ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆68Updated last year
- ☆46Updated last year
- Учебник теории категорий☆363Updated 6 years ago
- ☆25Updated this week
- ☆129Updated 2 years ago
- Latex шаблон для написания диплома по ГОСТ☆65Updated 8 months ago
- ☆12Updated last year
- simple processor circuit suitable for repeating transistors☆42Updated last year