Explore projects
-
Max Ole Elliger / ZFC
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalAn attempt at a Coq formalization of Zermelo-Fränkel set theory.
Updated -
qronos-state-abstractions / execution-time
GNU General Public License v3.0 onlyUpdated -
qronos-state-abstractions / simulation
BSD 3-Clause "New" or "Revised" LicenseUpdated -
CIP-Admins / cip-pwtest
GNU General Public License v1.0 or laterUpdated -
neo ist ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme.
Updated -
My lecture notes for the TV-A lecture which is about advanced Quantum Mechanics
Updated -
Luci Project / ATC23 Artifact Evaluation
GNU Affero General Public License v3.0Luci ATC23 Artifact Evaluation
Updated -
Updated
-
CIP-Admins / goatherd
GNU General Public License v3.0 onlyUpdated -
Inoffizielle Sammlung von Materialien zu diversen Veranstaltungen Tags: RK, AuD, FFI, Forensik, GTI, IDB, KonzMod, Mathe, C1, C4, Spring, SupCom, ThProg, Skript
Updated -
Updated
-
neo soll ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme werden. Ziel ist eine gemeinsame Vorlage sowohl für Vorlesungs- und Übungsfolien als auch für externe (Konferenz-)Präsentationen.
Updated -
UpdatedUpdated
-
Updated
-
-
Luis Gerhorst / AnyCall Tests and Benchmarks
BSD 3-Clause "New" or "Revised" LicenseLibBPF-based usage examples and benchmarks for AnyCall.
Updated -
Updated