Explore projects

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

Code Metrics for Benchmarking Timing Analysis

dOSEK - Dhe One and Single Extended Kernel

Open source SDR LTE software suite

DEPRECATED. Use aorta/WCA/platin

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

The cHash CLang Plugin

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

ls1-MarDyn is a massively parallel Molecular Dynamics (MD) code for large systems. Its main target is the simulation of thermodynamics and nanofluidics. ls1-MarDyn is designed with a focus on performance and easy extensibility.