Explore projects

Repository for the ECRTS 2018 artifact evaluation

my bashrc

Affidavit/Eigenständigkeitserklärung in LaTex

Inoffizielle Sammlung von Materialien zu diversen Veranstaltungen Tags: RK, AuD, FFI, Forensik, GTI, IDB, KonzMod, Mathe, C1, C4, Spring, SupCom, ThProg, Skript

rkt executor for gitlab-runner

Demo repo for git bisect.

von allen Vorlagen gemeinsam genutzte Dateien

monitoring plugins i've seen myself needing to write, for whatever reason, shared with all of you :-)

DEPRECATED. Use aorta/WCA/platin

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"

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

Distributed Shared Memory for the Intel Xeon Phi using the SCIF API. Part of my bachelor thesis.