Explore projects
-
pacer / wrk2
OtherUpdated -
Aastha Mehta / qapla
BSD 4-Clause "Original" or "Old" LicenseUpdated -
cld / systems / DeathStarBench
GNU General Public License v2.0 or laterDeathStarBench modified with X-Trace tracing
Updated -
Updated
-
Backpack / Cabal Patch for Class Struggle
BSD 3-Clause "New" or "Revised" LicenseA fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.
Updated -
Code for computing sufficient, implementable and permissive assumptions.
Updated -
Rupak Majumdar / hitmc
Apache License 2.0Model checker for distributed systems using hitting families of schedules
Updated -
restart-rollback / register-sgx
MIT LicenseDistributed register implementation inside Intel SGX
Updated -
SimBricks / SimBricks
MIT LicenseSimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks
UpdatedUpdated -
pacer / xen-backend-4.10.0
GNU General Public License v2.0 or laterUpdated