A fragment of "Polyas Open Cred" translated from Kotlin to Java for doing formal program verification. The fragment is most likely not fully functional as simplifying assumptions are made.

Masterarbeit Repository Amelie

Programm für die Auswertung von Messwerten aus LII zur Bestimmung von Partikelgrößen (im Rahmen des Praktikum Numerik für Ingenieure)

Programm für die Auswertung von Messwerten aus LII zur Bestimmung von Partikelgrößen (im Rahmen des Praktikum Numerik für Ingenieure)

Hands-on tutorial on FireWorks for the PhD students in the graduate school GRK 2450

This is an XSLT-based conversion of the rfc index to BibTeX for (La)TeX users.

Editor for student input (models)

A really simple todo application to test out C#

Software to facilitate and/or automate certificate handling within the KIT-CA.