Explore projects

Collection of programs using different finite-element libraries to adaptively solve partial differential equations.

Projects for the Arduino, ESP8266 or ESP32 (NodeMCU, WeMos D1 etc.), STM32 (bluepill) or other development microprocessor (boards).

The C Annotation and Rewriting Tool

The cHash CLang Plugin

Host applications and library for Crazyflie written in Python.

dOSEK for PATMOS

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

Fork of the dOSEK source code for verification

dOSEK - Dhe One and Single Extended Kernel

Clone von dOSEK für mein Masterprojekt

The GenE Benchmark Generator (LLVM tool)