IljaZakharov

Engineering manager at Pi2 Network

Pi2 NetworkNovi Sad

Pinned Repositories

clade
Clade is a tool for extracting information about software build process and source code
Language:Python19 5 1326
MIPTMachineLearning
Repo with course exercises
Language:Jupyter Notebook0 1 00
PhD-Thesis
Contains source files of my dissertation in russian.
Language:TeX1 1 00
TLAexample
Proof of the refeinement from my PhD implemented.
Language:TLA0 1 00
cif
Read-only mirror of the CIF Git repository
Language:C5 2 02
klever
Read-only mirror of the Klever Git repository
Language:Python20 4 112
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Python506 55 347142
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python227 15 379192

IljaZakharov's Repositories

IljaZakharov/PhD-Thesis
Contains source files of my dissertation in russian.
Language:TeX1 1 00
IljaZakharov/MIPTMachineLearning
Repo with course exercises
Language:Jupyter Notebook0 1 00
IljaZakharov/TLAexample
Proof of the refeinement from my PhD implemented.
Language:TLA0 1 00