The main Coq development.
An extended "Standard Library" for Coq. [coqdoc]
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
The Coq development for Iris. [project website] [coqdoc]
Local Simulation proofs, the Iris style
This is the repository for the EU EIC project called SymAware.
Axiomatic pWCET, formalized in Coq
The Coq development of LambdaRust
The Coq development for Iris
SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks