Explore projects

Code Metrics for Benchmarking Timing Analysis

dOSEK - Dhe One and Single Extended Kernel

Branch bpf-spectre part of https://gitlab.cs.fau.de/un65esoq/bpf-spectre

Open source SDR LTE software suite

DEPRECATED. Use aorta/WCA/platin

Vorgaben für die Übungen zu "Verlässliche Echtzeitsysteme" 2016

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

Vorgaben für die Übungen zu "Verlässliche Echtzeitsysteme" 2016

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.

The cHash CLang Plugin

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

Host applications and library for Crazyflie written in Python.