Explore projects

Fancy, fully electronic dice. PCB & Firmware

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"

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

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

My lecture notes for the TV-A lecture which is about advanced Quantum Mechanics

Luci ATC23 Artifact Evaluation

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

neo soll ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme werden. Ziel ist eine gemeinsame Vorlage sowohl für Vorlesungs- und Übungsfolien als auch für externe (Konferenz-)Präsentationen.