Explore projects

View Actris project

Dan Frumin / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 20, 2021

0 0 0 0

Updated Jun 20, 2021
View openssl-1.1.0g project

pacer / openssl-1.1.0g
OpenSSL License

0

Updated Mar 01, 2022

0 0 0 0

Updated Mar 01, 2022
View stdpp project

Marijn van Wezel / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 16, 2025

0 0 0 0

Updated Jul 16, 2025
View stdpp project

Pierre Roux / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jun 04, 2024

0 0 0 0

Updated Jun 04, 2024
View PROSA - Formally Proven Schedulability Analysis project

ptorrx / 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 Aug 05, 2020

0 0 0 0

Updated Aug 05, 2020
View HeyVL Implementations of Consensus Algorithms project

Sathiyanarayana Venkatesan Ramesh / HeyVL Implementations of Consensus Algorithms

0

Updated Jul 11, 2025

0 0 0 0

Updated Jul 11, 2025
View lang-sandbox-coq project

Robbert Krebbers / lang-sandbox-coq
BSD 3-Clause "New" or "Revised" License

Coq development for "The High-Level Benefits of Low-Level Sandboxing"

0

Updated Feb 05, 2021

0 0 0 0

Updated Feb 05, 2021
View stdpp project

Kimaya Bedarkar / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 21, 2025

0 0 0 0

Updated Jul 21, 2025
View iris-coq project

Michael Sammler / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Feb 04, 2020

0 0 0 0

Updated Feb 04, 2020
View OpenLane for SwiSH project

Artem Ageev / OpenLane for SwiSH
Apache License 2.0

0

Updated Nov 25, 2024

0 0 0 0

Updated Nov 25, 2024
View iris-coq project

Marianna Rapoport / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris

0

Updated Dec 03, 2018

0 0 0 0

Updated Dec 03, 2018
View stdpp project

Simon Gregersen / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 06, 2021

0 0 0 0

Updated May 06, 2021
View Iris project

Rice Wine / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 23, 2019

0 0 0 0

Updated Apr 23, 2019
View Iris Parametric Index project

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

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

0

Updated Mar 28, 2025

0 0 0 5

Updated Mar 28, 2025
View stdpp project

Pierre Rousselin / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 17, 2023

0 0 0 0

Updated Nov 17, 2023
View rt-proofs project

Xiaojie Guo / rt-proofs
BSD 2-Clause "Simplified" License

The main Coq development.

0

Updated Feb 28, 2020

0 0 0 0

Updated Feb 28, 2020
View ra-gps project

Robbert Krebbers / ra-gps
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 21, 2017

0 0 0 0

Updated Sep 21, 2017
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 Jun 24, 2025

0 0 0 0

Updated Jun 24, 2025
View llvm-specrt-tests project

Antoine Kaufmann / llvm-specrt-tests

0

Updated Oct 03, 2022

0 0 0 0

Updated Oct 03, 2022
View Iris project

Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 16, 2024

0 0 0 0

Updated Sep 16, 2024