Explore projects

View stdpp project

Benjamin Peters / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View stack-parser project

Bite Ye / stack-parser

0

Updated Nov 15, 2025

0 0 0 0

Updated Nov 15, 2025
View Weak Memory Bibliography project

SAV / Weak Memory Bibliography

This project hopes to gather bibliographic sources regarding weak memory.

0

Updated Nov 14, 2025

0 1 1 0

Updated Nov 14, 2025
View simbricks-api-gateway project

SimBricks / simbricks-api-gateway
MIT License

0

Updated Nov 12, 2025

0 0 0 0

Updated Nov 12, 2025
View stdpp project

Thibaut Pérami / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Nov 05, 2025

0 0 0 0

Updated Nov 05, 2025
View stdpp project

Tesla Zhang‮ / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Oct 31, 2025

0 0 0 0

Updated Oct 31, 2025
View Iris project

Simon Spies / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Oct 30, 2025

0 0 0 0

Updated Oct 30, 2025
View iris project

Paolo G. Giarrusso / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Oct 30, 2025

0 0 0

Updated Oct 30, 2025
View stdpp project

Simcha van Collem / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Oct 29, 2025

0 0 0 0

Updated Oct 29, 2025
View stdpp project

Egor Namakonov / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Oct 21, 2025

0 0 0 0

Updated Oct 21, 2025
View iris-coq project

Janno / iris-coq
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Oct 16, 2025

0 0 0 0

Updated Oct 16, 2025
View stdpp project

Janno / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Oct 16, 2025

0 0 0 0

Updated Oct 16, 2025
View Iris project

Quentin VERMANDE / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Oct 13, 2025

0 0 0 0

Updated Oct 13, 2025
View Iris project

Arthur Azevedo de Amorim / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Oct 07, 2025

0 0 0 0

Updated Oct 07, 2025
View Iris project

Simcha van Collem / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Oct 05, 2025

0 0 0 0

Updated Oct 05, 2025
View stdpp project

Brian Campbell / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Oct 03, 2025

0 0 0 0

Updated Oct 03, 2025
View stdpp project

Sanjit Bhat / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Sep 30, 2025

0 0 0 0

Updated Sep 30, 2025
View examples project

Simon Spies / examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated Sep 29, 2025

0 0 0 0

Updated Sep 29, 2025
View iGPS project

FP / iGPS
BSD 3-Clause "New" or "Revised" License

A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.

1

Updated Sep 25, 2025

1 1 0 3

Updated Sep 25, 2025
View LiME project

RTS / LiME
MIT License

0

Updated Sep 22, 2025

0 0 0

Updated Sep 22, 2025