Explore projects

The C Annotation and Rewriting Tool

Zephyr RTOS with MBS (https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf) and Raspberry Pi 3b+ support.

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

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