Explore projects

Compiler of a reduced subset of C99 and a virtual machine for the PB111 low-level programming course. Mirror of a Darcs repository.

Document selection module of AQA system

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.

Release fully annotated data from the CTC. Full annotation should come from the best combination from the CTC.

Kontr Test Development Kit - python library to write tests

A programming language compiler for the PA037 Compiler Project course.

Implementations of algorithms described in the bachelor thesis Euclid's algorithm for large integers.