Explore projects

An experimental, small utility for intentionally triggering the failure of libc function calls.

Emacs Pakete für SP Tutoren

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

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