Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
This is an XSLT-based conversion of the rfc index to BibTeX for (La)TeX users.
-
Relational Debugger.
-
Tools for combining KeY with Joana.
-
One web interface to rule them all!
-
-
Tools for handling the UCF format.
-
elemental analysis
-
-
Hands-on tutorial on FireWorks for the PhD students in the graduate school GRK 2450
-
Relational Debugger.
-
Tools for combining KeY with Joana.
-
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)
-
-
-