Explore projects

An utility to intentionally triggering the failure of libc function calls. Manpage.

https://sys.cs.fau.de/verifence

Emacs Pakete für SP Tutoren

Sammlung von Fragen zu SP2 mit Kommentaren.

Quelltext und Daten vom Selbst-Prüfungs-Quiz.

LibBPF-based usage examples and benchmarks for AnyCall and other projects

Showcase für das neo Theme

Einfache kompakte Repovorlage für Präsentationen mit dem neo Theme (geeignet für Forks)

neo ist ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme.

LaTeX template for elaborations at the i7.

Wireless tempdevice 2016

Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX

Dynamic updates (Luci approach) via a preloaded shared object

A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind

Reproducability Task for SuCoPra

Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX