Explore projects

Bootstrapping scripts - clone this repo for initial installation

A text to CQP converter

Wireless tempdevice 2016

Development repo for the decolumnize-patches for the katarakt PDF viewer. See decolumnize branch.

dOSEK - Dhe One and Single Extended Kernel

Repository for the ECRTS 2018 artifact evaluation