LaTeX Beamer theme mostly following the official corporate design (http://unihb.eu/logo)

The Protective Avionics Flash File System

Übung.

Implementation of RFC 9202 with optional c3dc extensions

A basic SAT solver.

CEP Solver for PACE2021

Library for testing and comparing deep learning based methods for inverse problems, written in python.