Explore projects
-
Hai Dang / stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Sanjit Bhat / POPL20 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Arthur Azevedo de Amorim / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Dongjae Lee / transfinite
Creative Commons Attribution 4.0 InternationalIris with transfinite step-indexing
Updated -
Updated
-
restart-rollback / smr-sgx
MIT LicenseUpdated -
pacer / httpd-2.4.33
Apache License 2.0Updated -
Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md
Updated -
Michael Sammler / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
-
Updated
-
-
pacer / memcached-1.6.9
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Thomas Somers / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
pacer / openssl-1.1.0g
OpenSSL LicenseUpdated -
The implementation for checking linearizability using hitting families of schedules
Updated -
Lennard Gäher / iris-contrib
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Artem Ageev / OpenLane for SwiSH
Apache License 2.0Updated -
restart-rollback / register-sgx
MIT LicenseDistributed register implementation inside Intel SGX
Updated -
Hai Dang / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated