Explore projects
-
-
Iris / Tutorial POPL18
BSD 3-Clause "New" or "Revised" LicenseDeprecated repository; please use the POPL 2021 version instead
Updated -
-
Iris / transfinite
Creative Commons Attribution 4.0 InternationalIris with transfinite step-indexing
Updated -
cld / tracing / hindsight
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / Actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Iris / gpfsl
BSD 3-Clause "New" or "Revised" LicenseA combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)
Updated -
AVA / FloVer
BSD 2-Clause with views sentenceA certificate checker for roundoff error bounds
Updated -
Lennard Gäher / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Updated
-
Updated
-
clef-men / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)
Updated -
-
Paulo Emílio de Vilhena / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Arthur Azevedo de Amorim / Tutorial POPL20
BSD 3-Clause "New" or "Revised" LicenseUpdated -
tlsomers / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Simon Spies / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version
Updated -
golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.
Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.
Updated