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.

Example tests written using KTDK

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.

This is a mirror of https://github.com/paradise-fi/RoFI

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.

Implementation of simulation of RoFIBots, including a simple visualizer and motion planning algorithms.