ancavar

Pinned Repositories

comp-math
Language:Python00
concurrent-programming
Language:Kotlin00
formal-lang-course
Курс по формальным языкам: шаблон для домашних работ + материалы
Language:Jupyter Notebook00
fp2023
Language:OCaml0 0 00
mock-repo
Language:Java00
OpenEduBot
Skip through boring OpenEdu's courses with ease!
Language:JavaScript10
ParallelGrep
multithreads grep
Language:C00
trees-3
trees-3 created by GitHub Classroom
Language:Kotlin0 0 00
PySymGym
Python infrastructure to train paths selectors for symbolic execution engines.
Language:Python8 3 441
usvm
Universal Symbolic Virtual Machine
Language:Kotlin0 0 40

ancavar's Repositories

ancavar/OpenEduBot
Skip through boring OpenEdu's courses with ease!
Language:JavaScript10
ancavar/comp-math
Language:Python00
ancavar/concurrent-programming
Language:Kotlin00
ancavar/formal-lang-course
Курс по формальным языкам: шаблон для домашних работ + материалы
Language:Jupyter Notebook00
ancavar/fp2023
Language:OCaml0 0 00
ancavar/mock-repo
Language:Java00
ancavar/ParallelGrep
multithreads grep
Language:C00
ancavar/routersploit
Exploitation Framework for Embedded Devices
Language:Python00
ancavar/trees-3
trees-3 created by GitHub Classroom
Language:Kotlin0 0 00
ancavar/usvm
Universal Symbolic Virtual Machine
Language:Kotlin0 0 00
ancavar/VSharp
Symbolic execution engine for .NET Core
Language:F#0 0 00