Explore projects

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

configuration for my devices

Files that are placed on Pi1 and Pi2.

tex files for bst summary SS16

opt-in index for etherpad-lite pads

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"

Dateien zur Besprechung der Aufgaben in der Vorlesung Systemprogrammierung 1 im SS 2020.

Host applications and library for Crazyflie written in Python.