Explore projects
-
-
neo ist ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme.
Updated -
Max Ole Elliger / Coq Exercises
GNU General Public License v3.0 or laterKleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.
Updated -
Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX
Updated -
Philip Kaluđerčić / sp-quiz
GNU General Public License v3.0 or laterSammlung von Fragen zu SP2 mit Kommentaren.Updated -
-
-
My lecture notes for the TV-A lecture which is about advanced Quantum Mechanics
Updated -
-
Updated
-
-
-
Philip Kaluđerčić / Trip
GNU General Public License v3.0 or laterAn utility to intentionally triggering the failure of libc function calls. Manpage.
Updated -
-
LaTeX Beamer Theme styled in terms of the FAU Corporate Design. Advanced and Enhanced version of medien.fau.de/downloads/cd-vorlagen-latex/fau-latex-template.zip.
Updated -
Updated
-
the 2018 iteration of the hawotempdevice, used for east-temp.hawo since Nov. 2018
Updated -
Michael Sammler / GQM-Coq
MIT LicenseUpdated -
Simon Ruderich / passt-mac
GNU General Public License v2.0 or laterUpdated