Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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.