Explore projects

Zephyr RTOS with MBS and Raspberry Pi 3b+ support.

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

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

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

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.

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.

The C Annotation and Rewriting Tool

Code Metrics for Benchmarking Timing Analysis

The GenE Benchmark Generator (LLVM tool)