Explore projects
-
Updated
-
Updated
-
Compiler of a reduced subset of C99 and a virtual machine for the PB111 low-level programming course. Mirror of a Darcs repository.
Updated -
Updated
-
Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1. Please note that the CI branch will be overwritten periodically and should not be pulled from.
Updated -
Updated
-
-
Kontr Test Development Kit - python library to write tests
Updated -
A programming language compiler for the PA037 Compiler Project course.
Updated -
Implementations of algorithms described in the bachelor thesis Euclid's algorithm for large integers.
Updated -
Updated
-
Updated
-
This is a solo repo of the tools that Honza Hubeny and myself once started, and that used to be for a long time living within the MitoGen, recently in a branch called tools. This has moved into this repository, hopefully for good.
Updated -
Updated
-
-
Updated
-
Updated