true-grue / VKRLinks
☆18Updated 3 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
- ☆16Updated 7 months ago
- Latex шаблон текста для квалификационных работ☆40Updated 2 weeks ago
- Digital Teaching Assistant web app.☆20Updated this week
- JIT-ускоритель программ на языке Python☆33Updated 2 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆110Updated this week
- Компилятор Рефала-5λ☆86Updated 3 weeks ago
- Что читать о разработке компиляторов☆517Updated 3 months ago
- Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА☆83Updated 5 months ago
- Materials for the "Principles of Static Program Analysis" course☆9Updated 6 months ago
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆15Updated 3 years ago
- A simple programming game.☆14Updated last year
- Universal Symbolic Virtual Machine☆23Updated this week
- Symbolic execution engine for .NET Core☆51Updated 5 months ago
- lecture notes☆29Updated 3 years ago
- Tiny parser combinators library written in Python.☆15Updated 2 weeks ago
- Sources for Russian articles on Algorithmica.org☆86Updated 2 years ago
- Parser combinators in Kotlin for Kotlin Multiplatform☆17Updated 3 years ago
- Teaching language LaMa for a compiler course☆75Updated last month
- System programming course☆26Updated this week
- ☆35Updated 2 months ago
- ☆11Updated 4 years ago
- ☆11Updated 3 weeks ago
- Функциональное программирование простым языком + примеры☆31Updated 5 years ago
- Lomonosov Moscow State University (MSU) LaTeX Thesis Template☆21Updated 3 years ago
- ☆11Updated 2 months ago
- Шаблон презентации для квалификационных работ☆21Updated 11 months ago
- Special Edition for freshmen ПИ and ИВТ☆10Updated 2 years ago
- ☆41Updated 2 years ago
- Lectures in MIPT: intro to engineering software using model-checking.☆17Updated 4 years ago