Pinned Repositories
advanced-algorithms
Реализация заданий по курсу "Структуры данных (углубленный курс)" кафедры КТ Университета ИТМО
anycast-snake
Multiplayer "Snake" game based on an ipv4 anycast network topology with vlans
asm-course
Реализация заданий по курсу ассемблера кафедры КТ Университета ИТМО
async-course
compilers-course
Distributed-KeyValue-Storage
Viewstamped Replication Revisited Algorithm
haskell-course
Решения задач и контрольных по курсу "Функциональное программирование" кафедры КТ Университета ИТМО
master-thesis
verification-course
Верификатор автоматов Харела с помощью LTL формул
khovanskiy's Repositories
khovanskiy/verification-course
Верификатор автоматов Харела с помощью LTL формул
khovanskiy/advanced-algorithms
Реализация заданий по курсу "Структуры данных (углубленный курс)" кафедры КТ Университета ИТМО
khovanskiy/anycast-snake
Multiplayer "Snake" game based on an ipv4 anycast network topology with vlans
khovanskiy/asm-course
Реализация заданий по курсу ассемблера кафедры КТ Университета ИТМО
khovanskiy/async-course
khovanskiy/compilers-course
khovanskiy/Distributed-KeyValue-Storage
Viewstamped Replication Revisited Algorithm
khovanskiy/master-thesis
khovanskiy/bachelor-thesis
Выпускная квалификационная работа "Инкрементальный адаптивный алгоритм для построения маршрутов в транспортной сети"
khovanskiy/codeforces
Some solved codeforces issues
khovanskiy/coding-theory
khovanskiy/compiler-workout
Supplementary repository for compiler course
khovanskiy/differential-equations
khovanskiy/haskell-2-pascal
The base implementation of haskell to pascal translator
khovanskiy/ifmo-documents
Образцы семестровых отчетов кафедры КТ Университета ИТМО
khovanskiy/information-theory
Решения лабораторных по курсу "Современная теория информации" кафедры КТ Университета ИТМО
khovanskiy/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
khovanskiy/kotlinx.coroutines
Library support for Kotlin coroutines
khovanskiy/latex-styles
LaTeX styles for different purposes.
khovanskiy/ll1generator-core
khovanskiy/machine-learning
Курсовая работа по "Методам математической статистики в научных и инженерных исследованиях" кафедры КТ Университета ИТМО
khovanskiy/mathlogic-course
khovanskiy/metrics
:chart_with_upwards_trend: Capturing JVM- and application-level metrics. So you know what's going on.
khovanskiy/perl-course
khovanskiy/regex-parser
The regular expression parser based on Antlr4 lexer
khovanskiy/solar-routing-viewer
khovanskiy/space-rovers
Competition project for the Microsoft Imagine Cup 2013
khovanskiy/sphere-geometry-visualization
Sphere geometry visualization (cmake version)
khovanskiy/testing-course
Решения лабораторных по курсу "Управление качеством разработки программного обеспечения" кафедры КТ Университета ИТМО
khovanskiy/vocabulary-builder-app
The application that will greatly expand your vocabulary