Anna Vasenina's repositories
kernel_hello_world
Linux kernel hello world module with basic structure for educational purposes
Language:C000
Language:TeX000
Language:Makefile000
matmex-diploma-template
Latex шаблон текста для квалификационных работ
000
VSharp
Symbolic execution engine for .NET Core
Language:C++Apache-2.0000
HarmonyPlayground
A demo of Harmony Lib
aeval
AE-solver and Skolemizer
Language:SMTNOASSERTION000
RInGen
Regular Invariant Generator and SMTLIB2 code transformer
Language:SMT000
sf
Mirror of Software Foundations in PDF
000