true-grue / awesome-russian-cs-books
☆38Updated 3 years ago
Alternatives and similar repositories for awesome-russian-cs-books:
Users that are interested in awesome-russian-cs-books are comparing it to the libraries listed below
- ☆16Updated 3 years ago
- Teaching language LaMa for a compiler course☆72Updated this week
- Компилятор Рефала-5λ☆84Updated last year
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 7 years ago
- A simple programming game.☆14Updated last year
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 3 years ago
- Что читать о разработке компиляторов☆505Updated 3 weeks ago
- ☆15Updated 5 months ago
- lecture notes☆29Updated 3 years ago
- ☆11Updated 3 years ago
- JIT-ускоритель программ на языке Python☆32Updated 2 years ago
- Конспекты курса архитектуры ЭВМ, ИТМО☆41Updated 5 years ago
- Sources for Russian articles on Algorithmica.org☆83Updated 2 years ago
- Automatically exported from code.google.com/p/funprog-ru☆35Updated 9 years ago
- ITMO/CTD notes, y2013 🇺🇦☆71Updated 5 years ago
- ☆107Updated 6 years ago
- ☆10Updated last week
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆46Updated 2 months ago
- System programming course☆20Updated 2 weeks ago
- ITMO CT C++ course notes☆134Updated 2 months ago
- My Java home works☆4Updated 4 years ago
- Yatool is a cross-platform distribution, building, testing, and debugging toolkit focused on monorepositories☆172Updated this week
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- LaTeX styles for different purposes.☆104Updated last year
- Ejudge programming contest management system☆201Updated last week
- ☆7Updated 4 years ago
- ☆13Updated 3 years ago
- Facilities for generating dependently-typed data☆25Updated this week
- Theory of compilation course, MIPT☆41Updated 11 months ago