true-grue / awesome-russian-cs-books
☆38Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-russian-cs-books
- Компилятор Рефала-5λ☆79Updated last year
- ☆16Updated 3 years ago
- Teaching language LaMa for a compiler course☆70Updated last week
- Что читать о разработке компиляторов☆486Updated 3 weeks ago
- A simple programming game.☆13Updated 8 months ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- JIT-ускоритель программ на языке Python☆33Updated 2 years ago
- Функциональное программирование простым языком + примеры☆30Updated 4 years ago
- ☆15Updated last week
- Lectures in MIPT: intro to engineering software using model-checking.☆16Updated 3 years ago
- ☆11Updated 3 years ago
- Лабораторные работы по курсу «Конструирование компиляторов»☆11Updated last year
- Лабораторные работы по основам информатики☆26Updated last year
- ☆100Updated 5 years ago
- Facilities for generating dependently-typed data☆24Updated this week
- Functional Algorithms Verified in SSReflect [maintainer=@clayrat]☆45Updated last month
- Sources for Russian articles on Algorithmica.org☆81Updated last year
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆42Updated last year
- Mathematical layout for web and paper☆45Updated 2 years ago
- Website dedicated to programming olympiads in Belarus☆50Updated last year
- lecture notes☆29Updated 3 years ago
- Coq Lecture Notes (WIP)☆49Updated 4 years ago
- System programming course☆10Updated this week
- ☆19Updated this week
- Генератор стихов на Prolog☆24Updated 3 years ago
- Practice C++ by solving well-prepared exercises on different topics☆102Updated last year
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆16Updated 3 years ago
- trinary.dart☆16Updated 9 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆56Updated last year