Explore projects

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.

Fix all polkit CVEs

A minimalist config management. Shell on the outside, Perl on the inside. Oisterconf.

Example of coding and coding skills