Explore projects

A text to CQP converter

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

dOSEK - Dhe One and Single Extended Kernel

sync installed packages on a Debian system (or derivative) with a list of packages which should be installed or removed

A python "interpreter" for random access machine instructions. Useful for the lecture "Berechenbarkeit und formale Sprachen" at the Chair for Hardware-Software-Co-Design.

Simple PDF viewer

Python for ILS 2017

Code Metrics for Benchmarking Timing Analysis

Telephone to call ya momma journey 2017.

Aufgaben für das Python Tutorium

Website for the TechFak Sommerfest 2017

OSEK-V top-level Git. Look here, if you want to start.

Fork of the dOSEK source code for verification

Simple PDF viewer