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 года
symbolic_exec_GNN
Experiments with Graph Neural Networks and symbolic execution
PySymGym
Python infrastructure to train paths selectors for symbolic execution engines.
articles
Papers sources, pictures, presentations, and other stuff
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/symbolic_exec_GNN
Experiments with Graph Neural Networks and symbolic execution
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/TelegramPublicViewer
katyacyfra/VSharp
Symbolic execution engine for .NET Core