Explore projects

Document selection module of AQA system

A (very) small OS kernel developed in the PB173 course. Checking an item in my bucket list.

A programming language compiler for the PA037 Compiler Project course.

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.