Explore projects

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

Lcamtuf's p0f3, hastily turned into a dynamic library.

The boring elaboration of my bachelor thesis. If the build succeeds the latest version can be downloaded here: https://gitlab.cs.fau.de/sedrubal/bachelor-thesis/builds/artifacts/master/browse/?job=render-paper

Scraping meinCampus for changed grades

Emacs major mode for the e2 toy programming language.

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

python demonstrator for an evolutionary algorithm

Extensible Massive-Parallelism Execution Realm

Templates for the C++ introduction

A python "interpreter" for random access machine instructions. Useful for the lecture "Berechenbarkeit und formale Sprachen" at the Chair for Hardware-Software-Co-Design.

Extensible Massive-Parallelism Execution Realm

AnyCall (bpftask) evaluation scripts and build environment.

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