Victor Khovanskiy's repositories
verification-course
Верификатор автоматов Харела с помощью LTL формул
advanced-algorithms
Реализация заданий по курсу "Структуры данных (углубленный курс)" кафедры КТ Университета ИТМО
anycast-snake
Multiplayer "Snake" game based on an ipv4 anycast network topology with vlans
asm-course
Реализация заданий по курсу ассемблера кафедры КТ Университета ИТМО
Distributed-KeyValue-Storage
Viewstamped Replication Revisited Algorithm
bachelor-thesis
Выпускная квалификационная работа "Инкрементальный адаптивный алгоритм для построения маршрутов в транспортной сети"
codeforces
Some solved codeforces issues
compiler-workout
Supplementary repository for compiler course
haskell-2-pascal
The base implementation of haskell to pascal translator
ifmo-documents
Образцы семестровых отчетов кафедры КТ Университета ИТМО
information-theory
Решения лабораторных по курсу "Современная теория информации" кафедры КТ Университета ИТМО
jackson-dataformat-xml
Extension for Jackson JSON processor that adds support for serializing POJOs as XML (and deserializing from XML) as an alternative to JSON
kotlinx.coroutines
Library support for Kotlin coroutines
latex-styles
LaTeX styles for different purposes.
machine-learning
Курсовая работа по "Методам математической статистики в научных и инженерных исследованиях" кафедры КТ Университета ИТМО
metrics
:chart_with_upwards_trend: Capturing JVM- and application-level metrics. So you know what's going on.
regex-parser
The regular expression parser based on Antlr4 lexer
space-rovers
Competition project for the Microsoft Imagine Cup 2013
sphere-geometry-visualization
Sphere geometry visualization (cmake version)
testing-course
Решения лабораторных по курсу "Управление качеством разработки программного обеспечения" кафедры КТ Университета ИТМО
vocabulary-builder-app
The application that will greatly expand your vocabulary