true-grue / VKR
☆16Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for VKR
- ☆38Updated 2 years ago
- ☆15Updated 3 weeks ago
- Компилятор Рефала-5λ☆79Updated last year
- Что читать о разработке компиляторов☆487Updated last month
- Teaching language LaMa for a compiler course☆70Updated this week
- Symbolic execution engine for .NET Core☆49Updated 3 weeks ago
- A simple programming game.☆13Updated 8 months ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆68Updated last year
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆16Updated 3 years ago
- Universal Symbolic Virtual Machine☆21Updated this week
- Digital Teaching Assistant web app.☆19Updated this week
- Лабораторные работы по основам информатики☆26Updated last year
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆94Updated this week
- ☆11Updated 3 years ago
- ITMO/CTD notes, y2013 🇺🇦☆70Updated 5 years ago
- JIT-ускоритель программ на языке Python☆33Updated 2 years ago
- Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА☆86Updated last week
- A LaTeX template for HSE University☆13Updated last year
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- Функциональное программирование простым языком + примеры☆30Updated 5 years ago
- Automated unit test generation and precise code analysis for Java☆136Updated 5 months ago
- Учебник теории категорий☆363Updated 6 years ago
- lecture notes☆29Updated 3 years ago
- Ejudge programming contest management system☆193Updated this week
- ☆101Updated 5 years ago
- ☆39Updated 4 years ago
- Sources for Russian articles on Algorithmica.org☆81Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆13Updated 10 months ago
- Лабораторные работы по курсу «Конструирование компиляторов»☆11Updated last year
- Solutions of ADS labs☆14Updated 6 years ago