Mikhail Kosticyn's repositories
usvm
Universal Symbolic Virtual Machine
Language:KotlinApache-2.0000
Language:Java000
jacodb
fast and effective way to access and analyze java bytecode
Apache-2.0000
ManagedCorProfiler
Prototype NET (CLR) Profiler written in C#
MIT000
UTBotJava
Automated unit test generation and precise code analysis for Java
Language:KotlinApache-2.0000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000
rd
Reactive Distributed communication framework for .net, kotlin, js. Inspired by Rider IDE.
Language:C#Apache-2.0000
articles
Papers sources, pictures, presentations, and other stuff
Language:TeXNOASSERTION000
Language:C#000
WebApps20
SPBU WebApps course 2020
Language:CSS000
Language:F#000
Language:F#000
jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
000
Language:F#000
Language:Python000
Language:Python000
YaccConstructor
Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.
Language:F#Apache-2.0000
embox
Modular and configurable OS kernel for embedded applications
Language:CNOASSERTION000
Language:C++000
Language:F#000
haskell-headshot
Examination problems, Haskell beginners course at SPbSU
Language:Haskell000
000