Explore projects
-
Marco Ammon / framework
Apache License 2.0Updated -
Updated
-
Dustin Nguyen / PDF Recorder
GNU Affero General Public License v3.0Updated -
-
Updated
-
Updated
-
arw / goatherd
GNU General Public License v3.0 onlyUpdated -
Maximilian Scholze / httpfingerprinting
MIT LicenseUpdated -
Inoffizielle Sammlung von Materialien zu diversen Veranstaltungen Tags: RK, AuD, FFI, Forensik, GTI, IDB, KonzMod, Mathe, C1, C4, Spring, SupCom, ThProg, Skript
Updated -
Jonas D. / LAYR_GUI
GNU General Public License v3.0 or laterUpdated -
Distributed Shared Memory for the Intel Xeon Phi using the SCIF API. Part of my bachelor thesis.
Updated -
Carbon-Aware Systemd Timers / Carbon-Aware Systemd Timers
GNU Lesser General Public License v2.1 onlyUpdated -
i4refit / framework
Apache License 2.0Updated -
-
Updated
-
Updated
-
Updated
-
Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"
Updated
