true-grue / VKR

Related projects ⓘ

Alternatives and complementary repositories for VKR

• true-grue / awesome-russian-cs-books
  ☆38Updated 2 years ago
• true-grue / kisport
  ☆15Updated 3 weeks ago
• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆79Updated last year
• true-grue / Compiler-Development
  Что читать о разработке компиляторов
  ☆487Updated last month
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆70Updated this week
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆49Updated 3 weeks ago
• true-grue / DandyBot
  A simple programming game.
  ☆13Updated 8 months ago
• odomanov / biblatex-gost
  Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard
  ☆68Updated last year
• KostinP / Mathematical-LecturesAndPractices
  Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…
  ☆16Updated 3 years ago
• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆21Updated this week
• kispython-ru / dta
  Digital Teaching Assistant web app.
  ☆19Updated this week
• bmstu-iu9 / scheme-labs
  Лабораторные работы по основам информатики
  ☆26Updated last year
• yurii-litvinov / courses
  Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme
  ☆94Updated this week
• VArtem / lean-itmo
  ☆11Updated 3 years ago
• volhovm / study-notes
  ITMO/CTD notes, y2013 🇺🇦
  ☆70Updated 5 years ago
• PenzaStreetGames / MetaStruct
  JIT-ускоритель программ на языке Python
  ☆33Updated 2 years ago
• true-grue / kisscm
  Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА
  ☆86Updated last week
• AlekseyBuzmakov / NRU-HSE-Perm-LatexTemplate
  A LaTeX template for HSE University
  ☆13Updated last year
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 6 years ago
• KikyTokamuro / Simple-Functional-Programming
  Функциональное программирование простым языком + примеры
  ☆30Updated 5 years ago
• UnitTestBot / UTBotJava
  Automated unit test generation and precise code analysis for Java
  ☆136Updated 5 months ago
• George66 / Textbook
  Учебник теории категорий
  ☆363Updated 6 years ago
• sancho20021 / linal
  lecture notes
  ☆29Updated 3 years ago
• blackav / ejudge
  Ejudge programming contest management system
  ☆193Updated this week
• cscenter / OS_online_course
  ☆101Updated 5 years ago
• Nekrolm / GraphsAndMatrix
  ☆39Updated 4 years ago
• algorithmica-org / ru
  Sources for Russian articles on Algorithmica.org
  ☆81Updated last year
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆13Updated 10 months ago
• bmstu-iu9 / compiler-labs
  Лабораторные работы по курсу «Конструирование компиляторов»
  ☆11Updated last year
• Walingar / ITMO_ADS
  Solutions of ADS labs
  ☆14Updated 6 years ago