Explore projects
-
Updated
-
-
-
-
Formalization of numbers (Z,Q, ...), inspired by the lecture "Didaktik der Arithmetik"
Topics: CoqUpdated -
-
-
Updated
-
Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)
Updated -
Updated
-
-
An experimental, small utility for intentionally triggering the failure of libc function calls.
Updated -
Updated
-
-
-
Updated
-
Updated
-
Updated
-
A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind
Updated