Explore projects

View Actris project

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

0

Updated Dec 05, 2025

0 0 0 0

Updated Dec 05, 2025
View Iris Physical Step project

Thomas Somers / Iris Physical Step
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 04, 2025

0 0 1 0

Updated Dec 04, 2025
View lambda-rust project

Thomas Somers / lambda-rust
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

0

Updated Dec 04, 2025

0 0 0 0

Updated Dec 04, 2025
View RefinedRust Dev project

Thomas Somers / RefinedRust Dev
Apache License 2.0

0

Updated Dec 04, 2025

0 0 1 0

Updated Dec 04, 2025
View DimSum project

Iris / DimSum
BSD 3-Clause "New" or "Revised" License

1

Updated Dec 03, 2025

1 2 2 0

Updated Dec 03, 2025
View RefinedC project

Iris / RefinedC
BSD 3-Clause "New" or "Revised" License

1

Updated Dec 03, 2025

1 5 4 22

Updated Dec 03, 2025
View PROSA - Formally Proven Schedulability Analysis project

Athul Raj Kollareth / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" License

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

0

Updated Dec 02, 2025

0 0 0 0

Updated Dec 02, 2025
View Diaframe project

Iris / Diaframe
BSD 3-Clause "New" or "Revised" License

Automation for Iris

1

Updated Dec 02, 2025

1 1 0 8

Updated Dec 02, 2025
View ReLoC project

Iris / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

1

Updated Dec 02, 2025

1 10 5 5

Updated Dec 02, 2025
View Actris project

Ike Mulder / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Nov 30, 2025

0 0 0 0

Updated Nov 30, 2025
View Iron project

Iris / Iron
BSD 3-Clause "New" or "Revised" License

The Iron logic for precise reasoning about resources [project website]

1

Updated Nov 30, 2025

1 4 2 0

Updated Nov 30, 2025
View Actris project

Thomas Somers / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Nov 24, 2025

0 0 0 0

Updated Nov 24, 2025
View stdpp project

Tej Chajed / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq

0

Updated Nov 19, 2025

0 0 0 0

Updated Nov 19, 2025
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 semantics-course project

FP / semantics-course
BSD 3-Clause "New" or "Revised" License

Coq development for the Semantics course taught at Saarland University

1

Updated Nov 10, 2025

1 1 0 1

Updated Nov 10, 2025
View iris-contrib project

Markus de Medeiros / iris-contrib
BSD 3-Clause "New" or "Revised" License

0

Updated Nov 09, 2025

0 0 0 0

Updated Nov 09, 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