anton-petrunin / kiselyovLinks
Геометрия по Киселёву
☆25Updated last week
Alternatives and similar repositories for kiselyov
Users that are interested in kiselyov are comparing it to the libraries listed below
Sorting:
- Компилятор Рефала-5λ☆86Updated 3 weeks ago
- учебник по Haskell☆276Updated last year
- ☆13Updated last month
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- ☆11Updated 9 years ago
- Mathematical layout for web and paper☆48Updated 2 years ago
- ☆24Updated 5 years ago
- Tiny parser combinators library written in Python.☆15Updated 2 weeks ago
- Teaching language LaMa for a compiler course☆75Updated last month
- Development of the univalent foundations of mathematics in Coq☆18Updated 13 years ago
- trinary.dart☆16Updated 10 years ago
- JIT-ускоритель программ на языке Python☆33Updated 2 years ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated last week
- Генератор стихов на Prolog☆23Updated 4 years ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆72Updated 2 years ago
- ☆38Updated 3 years ago
- Automatically exported from code.google.com/p/funprog-ru☆34Updated 9 years ago
- minimal lua/sdl platform☆22Updated 2 weeks ago
- Главный сайт сообщества☆228Updated 2 years ago
- 🧊 Інститут формальної математики☆35Updated this week
- Креш-курс по Lisp☆17Updated 8 years ago
- VSCode exstension for PascalABC.NET☆10Updated last year
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆49Updated 5 months ago
- Implementation-independent inflection rules for Petrovich.☆44Updated 6 months ago
- Python5☆15Updated 5 years ago
- R&Q☆53Updated 3 months ago
- Experimental multidimensional arrays for F#☆11Updated 7 years ago
- Facilities for generating dependently-typed data☆26Updated 2 weeks ago
- Презентация "Почему Golang такой странный"☆13Updated 5 years ago
- It is just my own wiki website. Nothing personal there, so it's public.☆39Updated 4 months ago