Pinned Repositories
articles
Papers sources, pictures, presentations, and other stuff
DotNetBlockchain
embox
Modular and configurable OS kernel for embedded applications
haskell-headshot
Examination problems, Haskell beginners course at SPbSU
jacodb
fast and effective way to access and analyze java bytecode
java-stdlib-approximations
jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
ManagedCorProfiler
Prototype NET (CLR) Profiler written in C#
VSharp
MchKosticyn's Repositories
MchKosticyn/VSharp
MchKosticyn/articles
Papers sources, pictures, presentations, and other stuff
MchKosticyn/DotNetBlockchain
MchKosticyn/embox
Modular and configurable OS kernel for embedded applications
MchKosticyn/haskell-headshot
Examination problems, Haskell beginners course at SPbSU
MchKosticyn/jacodb
fast and effective way to access and analyze java bytecode
MchKosticyn/java-stdlib-approximations
MchKosticyn/jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
MchKosticyn/ManagedCorProfiler
Prototype NET (CLR) Profiler written in C#
MchKosticyn/ML
MchKosticyn/MT2Grammar
MchKosticyn/NewTypeConstraintGenerator
MchKosticyn/OS
MchKosticyn/Practicum-na-EVM
MchKosticyn/quickHull
MchKosticyn/rd
Reactive Distributed communication framework for .net, kotlin, js. Inspired by Rider IDE.
MchKosticyn/Recommendation-systems
MchKosticyn/SimplificationOfLogicOperations
MchKosticyn/SimplifySubtypeSolverTest
MchKosticyn/usvm
Universal Symbolic Virtual Machine
MchKosticyn/UTBotJava
Automated unit test generation and precise code analysis for Java
MchKosticyn/WebApps20
SPBU WebApps course 2020
MchKosticyn/YaccConstructor
Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.
MchKosticyn/z3
The Z3 Theorem Prover