Explore projects
-
pacer / openssl-1.1.0g
OpenSSL LicenseUpdated -
Pierre Rousselin / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Sanjit Bhat / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Sanjit Bhat / simuliris
BSD 3-Clause "New" or "Revised" LicenseLocal Simulation proofs, the Iris style
Updated -
Updated
-
Sanjit Bhat / POPL20 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Dan Frumin / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
cld / systems / sock-shop / catalogue
Apache License 2.0Updated -
Simon Friis Vindum / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Updated
-
RT-PROOFS / POET
BSD 2-Clause "Simplified" LicenseThe POET Response-Time Certificate Generator — see also https://prosa.mpi-sws.org/poet.html
Updated -
Robbert Krebbers / lang-sandbox-coq
BSD 3-Clause "New" or "Revised" LicenseCoq development for "The High-Level Benefits of Low-Level Sandboxing"
Updated -
Pierre Rousselin / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Updated
-
Updated
-
Updated
-
Simcha van Collem / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
A survey of research papers published at systems conferences, to ascertain the role of visualization in the work, and the extent visualization is presented in the published works.
Updated
