messa/oi-tvs-eshop-uppaal
School project - e-shop model in Uppaal (modeling and verification tool)
Developer Profile
messa
Discovered public repositories for messa in the GitHub catalog.
messa/oi-tvs-nim-uppaal
Public repository.
messa/dotfiles
Public repository.
messa/tools
Some CLI stuff
messa/oi-libroid
School project - book manager implemented in Java
messa/oi-sr-arq
School project - Selective Repeat ARQ demo using UDP in C.
messa/www.messa.cz
My personal website, made using Python and Flask