Explore projects
-
Anjo Vahldiek-Oberwagner / ERIM
Creative Commons Attribution 4.0 InternationalUpdated -
pacer / linux-client-4.9.5
GNU General Public License v2.0 or laterUpdated -
Hai Dang / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Robbert Krebbers / fast_string
GNU Lesser General Public License v2.1 onlyUpdated -
Glen Mével / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Updated
-
Iris / Fairis
BSD 3-Clause "New" or "Revised" LicenseUnmaintained repository. An extension of the Iris program logic to support linearity and fair refinement reasoning.
Updated -
restart-rollback / register-sgx
MIT LicenseDistributed register implementation inside Intel SGX
Updated -
Groundhog / OpenWhisk Cli
Apache License 2.0Updated -
Gaëtan Gilbert / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Tesla Zhang / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
Thomas Somers / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
UpdatedUpdated
-
Updated
-
Isaac van Bakel / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.
Updated -
Sadegh Soudjani / EICSymAware
BSD 3-Clause "New" or "Revised" LicenseThis is the repository for the EU EIC project called SymAware.
Updated -
-
Burcu Özkan / pctcp-cass
OtherPCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
Updated
