Explore projects

python demonstrator for an evolutionary algorithm

Templates for the C++ introduction

the 2018 iteration of the hawotempdevice, used for east-temp.hawo since Nov. 2018

Emacs major mode for the e2 toy programming language.

Dockerfiles to generate Images for CI build & test

Fodor tunes parameters (especially compiler flags) using optimization algorithms.

Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)

AnyCall (bpftask) evaluation scripts and build environment.

find a path along a road marked by two types of cones, one type on the left edge of the road, one on the right

Creates LaTeX-based workout log cards

Inoffizielle Formelsammlung fuer das Modul Rechnerkommunikation