Pinned Repositories
formal-lang-course
Курс по формальным языкам: шаблон для домашних работ + материалы
intermediate-lang-distiller
PeanutProver
matmex-diploma-template
Latex шаблон текста для квалификационных работ
CFPQ_Data
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
documents
FormalLanguageConstrainedReachability-LectureNotes
Материалы по достижимости с ограничениями в терминах формальных языков
lecture-notes
Репозиторий для конспектов
riscv-crc32-clmul
vk-rest-api-exercise
WoWaster's Repositories
WoWaster/lecture-notes
Репозиторий для конспектов
WoWaster/vk-rest-api-exercise
WoWaster/riscv-crc32-clmul
WoWaster/CFPQ_Data
Graphs and grammars for Context-Free Path Querying algorithms evaluation.
WoWaster/documents
WoWaster/FormalLanguageConstrainedReachability-LectureNotes
Материалы по достижимости с ограничениями в терминах формальных языков
WoWaster/shallowSizeKotlinCompilerPlugin
A template for spbu Kotlin course
WoWaster/spbu-csharp-homeworks
WoWaster/spbu-kotlin-homeworks
WoWaster/spbu_c_homeworks
WoWaster/tap-protocols
Education project focused on implementing basic netwok protocols using linux tap interface
WoWaster/impulse-2024-tasks
WoWaster/matmex-diploma-template
Latex шаблон текста для квалификационных работ
WoWaster/mlx90640-test-apps
WoWaster/MMFirstFilterPy
WoWaster/report_presentation_template
Шаблон презентации для квалификационных работ
WoWaster/riscv-cross-compilation-examples
Repository with examples on cross-compilation for open-source projects with different build systems
WoWaster/spbu-computational-workshop
WoWaster/spbu-formal-languages-and-translators
WoWaster/spbu-fsharp-homeworks
WoWaster/spbu-semantics-in-coq
A supplementary Coq workout repository
WoWaster/trik-checkapp
TRIK Studio companion solution check application
WoWaster/trik-models
Software for various robots built using TRIK (http://www.trikset.com/) constructor
WoWaster/trik-pythonqt
PythonQt-based and improved Python bindings for Qt
WoWaster/trik-studio
TRIK Studio programming environment
WoWaster/trikRuntime
Runtime for TRIK controller
WoWaster/xxHash
Extremely fast non-cryptographic hash algorithm
WoWaster/yurii-litvinov-courses
Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme