Explore projects

The Aladdin Evaluation Framework

Simple PDF viewer

Clone of https://cal8.cs.fau.de/redmine/projects/cool

For my own testing

The repository contains all the raw data that was used in the Usenix ATC paper

The cHash CLang Plugin

RESTful API Project for WUI (WS/16)

Extensible Massive-Parallelism Execution Realm

dOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"

Aufgaben für das Python Tutorium

Simple PDF viewer

Fork of the dOSEK source code for verification

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

Python for ILS 2017

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