Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull re…
Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI.
Header-only C++ utility library
My presentations for conferences and lectures.
My collection of LaTeX styles
Memory-Model-Aware Analysis of Parallel Programs (PhD Thesis Proposal, September 2017)
Seeing something unexpected? Take a look at the
GitHub profile guide.