mburyakov/bachelor
Public repository.
Developer Profile
mburyakov
Discovered public repositories for mburyakov in the GitHub catalog.
mburyakov/mpstypes
Public repository.
mburyakov/robots
Code for robot competition
mburyakov/trellis
Public repository.
mburyakov/manySound
Public repository.
mburyakov/metamath
Small system manipulating with mathematical expressions
mburyakov/mpsstatecharts
Statecharts language with translation to SPIN and NuSMV
mburyakov/entropy
Some demonstrations about information theory
mburyakov/eyesguard
This program will help you to keep your vision in order!
mburyakov/minxmod
Minimalistic concurrent modeler
mburyakov/automata
DSL for cunstructing automata system
mburyakov/intelcontest
Public repository.