true-grue / VKR
☆16Updated 3 years ago
Alternatives and similar repositories for VKR:
Users that are interested in VKR are comparing it to the libraries listed below
- ☆38Updated 3 years ago
- ☆15Updated 5 months ago
- JIT-ускоритель программ на языке Python☆32Updated 2 years ago
- Latex шаблон текста для квалификационных работ☆35Updated 2 months ago
- Teaching language LaMa for a compiler course☆72Updated last week
- Universal Symbolic Virtual Machine☆23Updated this week
- Symbolic execution engine for .NET Core☆51Updated 2 months ago
- Digital Teaching Assistant web app.☆20Updated this week
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆105Updated this week
- Что читать о разработке компиляторов☆505Updated last month
- ITMO/CTD notes, y2013 🇺🇦☆71Updated 6 years ago
- преобразования регулярных выражений и конечных автоматов☆20Updated last month
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обес печение и администрир…☆15Updated 3 years ago
- A simple programming game.☆14Updated last year
- ☆10Updated 3 weeks ago
- ☆10Updated last week
- Materials for the "Principles of Static Program Analysis" course☆9Updated 4 months ago
- Курс по формальным языкам: шаблон для домашних работ + материалы☆7Updated last week
- ☆11Updated 3 years ago
- Шаблон презентации для квалификационных работ☆18Updated 9 months ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆71Updated last year
- LaTeX styles for different purposes.☆104Updated last year
- Материалы по курсу «Основы информатики»☆26Updated last month
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆46Updated 3 months ago
- lecture notes☆29Updated 3 years ago
- ☆107Updated 6 years ago
- Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА☆83Updated 3 months ago
- Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.☆32Updated 9 months ago
- Шаблон LaTeX для оформления отчетов о НИР, расчётно-пояснительной записки к курсовым и дипломным работам (ГОСТ 7.32-2017 и ГОСТ РВ 15.110…☆352Updated 4 months ago
- Ejudge programming contest management system☆201Updated last week