Explore projects
-
AVA / FloVer _public
BSD 2-Clause with views sentenceA certificate checker for roundoff error bounds (Public Version)
Archived 0Updated -
Pierre Rousselin / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
-
cld / systems / sock-shop / microservices-demo
Apache License 2.0Updated -
Updated
-
Adam / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
cld / systems / sock-shop / orders
Apache License 2.0Updated -
Sadegh Soudjani / EICSymAware
BSD 3-Clause "New" or "Revised" LicenseThis is the repository for the EU EIC project called SymAware.
Updated -
Kimaya Bedarkar / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
Matthieu Sozeau / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Dan Frumin / iris-coq
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris
Updated -
Raw Jaeger traces and X-Trace converted traces of DeathStarBench executions
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 -
-
cld / systems / sock-shop / catalogue
Apache License 2.0Updated -
Egor Namakonov / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
Arthur Azevedo de Amorim / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements project website(https://cs.ru.nl/~dfrumin/reloc/)
Updated -
Jonas Kastberg / actris
BSD 3-Clause "New" or "Revised" LicenseUpdated
