The Coq development for Iris. [project website] [coqdoc]
An extended "Standard Library" for Coq. [coqdoc]
The Coq development of LambdaRust
A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)
Some example verification demonstrating the use of Iris.
This project hopes to gather bibliographic sources regarding weak memory.
This project contains some scripts and other files that are used by many Iris project for their CI