Pinned Repositories
articles
Papers sources, pictures, presentations, and other stuff
au-java-2018
au-software-design-2018
AU Software Design Course
CFPQ_GLL
CLI_CD
CLI task for Software Design Course
compiler-workout
DT2018
Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
formal-lang-course
Курс по формальным языкам: шаблон для домашних работ + материалы
GLL4Graph
GLL-based context-free path querying algorithm
high-performance-graph-analysis-course
katyacyfra's Repositories
katyacyfra/articles
Papers sources, pictures, presentations, and other stuff
katyacyfra/au-java-2018
katyacyfra/au-software-design-2018
AU Software Design Course
katyacyfra/CFPQ_GLL
katyacyfra/CLI_CD
CLI task for Software Design Course
katyacyfra/compiler-workout
katyacyfra/DT2018
Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года
katyacyfra/formal-lang-course
Курс по формальным языкам: шаблон для домашних работ + материалы
katyacyfra/GLL4Graph
GLL-based context-free path querying algorithm
katyacyfra/high-performance-graph-analysis-course
katyacyfra/hpcourse
Repository to store student's practical works on high performance computing course
katyacyfra/java_course_work
Server Tester
katyacyfra/jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
katyacyfra/katyacyfra.github.io
Ekaterina Shemetova
katyacyfra/kotlin-course-se
katyacyfra/mathvm
Educational virtual machine
katyacyfra/PySymGym
Python infrastructure to train paths selectors for symbolic execution engines.
katyacyfra/scala-2018
Scala course at HSE/ITMO, Fall'18.
katyacyfra/software_design
The school tasks
katyacyfra/symbolic_exec_GNN
Experiments with Graph Neural Networks and symbolic execution
katyacyfra/TelegramPublicViewer
katyacyfra/VSharp
Symbolic execution engine for .NET Core