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
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