true-grue / VKRLinks
☆18Updated 4 years ago
Alternatives and similar repositories for VKR
Users that are interested in VKR are comparing it to the libraries listed below
Sorting:
- ☆38Updated 3 years ago
- Что читать о разработке компиляторов☆526Updated 4 months ago
- преобразования регулярных выражений и конечных автоматов☆20Updated 4 months ago
- Latex шаблон текста для квалификационных работ☆41Updated last month
- Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)☆52Updated 3 months ago
- Teaching language LaMa for a compiler course☆75Updated 2 months ago
- ☆16Updated 8 months ago
- Компилятор Рефала-5λ☆87Updated 2 months ago
- Universal Symbolic Virtual Machine☆24Updated last week
- Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную версию TestVKR.☆34Updated this week
- Ejudge programming contest management system☆205Updated last week
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆111Updated last week
- ☆11Updated 2 months ago
- Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА☆82Updated 7 months ago
- LaTeX styles for different purposes.☆107Updated 2 years ago
- ☆42Updated 3 months ago
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆13Updated 2 months ago
- Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard☆73Updated 2 years ago
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆15Updated 3 years ago
- Materials & home works for IFMO'2018 logic course☆27Updated 3 years ago
- Symbolic execution engine for .NET Core☆51Updated 6 months ago
- ITMO/CTD notes, y2013 🇺🇦☆70Updated 6 years ago
- Шаблон LaTeX для оформления отчетов о НИР, расчётно-пояснительной записки к курсовым и дипломным работам (ГОСТ 7.32-2017 и ГОСТ РВ 15.110…☆364Updated 8 months ago
- JIT-ускоритель программ на языке Python☆33Updated 3 years ago
- lecture notes☆29Updated 3 years ago
- A LaTeX template for HSE University☆13Updated last year
- Digital Teaching Assistant web app.☆21Updated last month
- My Java home works☆4Updated 5 years ago
- Материалы по курсу «Основы информатики»☆27Updated 5 months ago
- Курс по формальным языкам: шаблон для домашних работ + материалы☆7Updated 4 months ago