Explore projects

Protokolle von FSV-Sitzungen

Implementation of PCF (inspired by lecture "Monad-Based Programming") in Coq

Experimental Emacs support for the MMT system

Formalization of numbers (Z,Q, ...), inspired by the lecture "Didaktik der Arithmetik"

ESE-Heft der FSIen Inf und CE

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

Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)

Various experimental extensions to the Linux Kernel.

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

An attempt at a Coq formalization of Zermelo-Fränkel set theory.

A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind