Explore projects
-
A minimalist config management. Shell on the outside, Perl on the inside. Oisterconf.
Updated -
Updated
-
Lukas Böhm / FFCV guide
MIT LicenseUpdated -
Updated
-
Maximilian Martin / wsl
GNU General Public License v3.0 or laterUpdated -
Updated
-
qronos-state-abstractions / execution-time
GNU General Public License v3.0 onlyUpdated -
qronos-state-abstractions / simulation
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Lehrstuhl für Informatik 4 (Systemsoftware) / SPiC / wsl
GNU General Public License v3.0 or laterUpdated -
Luci Project / ATC23 Artifact Evaluation
GNU Affero General Public License v3.0Luci ATC23 Artifact Evaluation
Updated -
Updated
-
Lehrstuhl für Informatik 4 (Systemsoftware) / micro-replication / mirador
GNU Affero General Public License v3.0Updated -
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 -
Updated
-
Updated
-
Luis Gerhorst / VeriFence
GNU General Public License v2.0 or laterMitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)
Updated
