Explore projects

Styly kódu, používané k automatické kontrole

Document selection module of AQA system

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.

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