Explore projects

L

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

The Coq development of LambdaRust

0

Updated Nov 13, 2023

0 0 0 0

Updated Nov 13, 2023
T

Johannes Hostert / transfinite

Iris with transfinite step-indexing

0

Updated Oct 30, 2023

0 0 0 0

Updated Oct 30, 2023
Isaac van Bakel / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Aug 09, 2023

0 0 0 0

Updated Aug 09, 2023
Simon Spies / RefinedC Extended
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 20, 2023

0 0 0 0

Updated Jun 20, 2023
S

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

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

0

Updated Aug 02, 2023

0 0 0 0

Updated Aug 02, 2023
Yixuan Chen / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 10, 2023

0 0 0 0

Updated Dec 10, 2023
William Mansky / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 25, 2023

0 0 0 0

Updated May 25, 2023
S

Herman Bergwerf / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 08, 2023

0 0 0 0

Updated Mar 08, 2023
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 03, 2023

0 0 0 0

Updated Nov 03, 2023
S

Dorian Lesbre / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 28, 2023

0 0 0 0

Updated Sep 28, 2023
P

Lasse Blaauwbroek / 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 Jan 28, 2023

0 0 0 0

Updated Jan 28, 2023
P

RT-PROOFS / POET
BSD 2-Clause "Simplified" License

The POET Response-Time Certificate Generator — see also https://prosa.mpi-sws.org/poet.html

0

Updated Nov 22, 2023

0 0 0 3

Updated Nov 22, 2023
Simcha van Collem / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 08, 2023

0 0 0 0

Updated Feb 08, 2023
R

Laila Elbeheiry / refinedc
BSD 3-Clause "New" or "Revised" License

0

Updated Jul 06, 2023

0 0 0 0

Updated Jul 06, 2023
T

Simon Spies / transfinite
Creative Commons Attribution 4.0 International

Iris with transfinite step-indexing

0

Updated May 08, 2023

0 1 0 0

Updated May 08, 2023
Simon Spies / Iris Parametric Index
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 29, 2023

0 0 0 5

Updated May 29, 2023
Paolo G. Giarrusso / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Aug 28, 2022

0 0 0 0

Updated Aug 28, 2022
S

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

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

0

Updated Aug 12, 2022

0 0 0 0

Updated Aug 12, 2022
S

Ralf Jung / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 18, 2022

0 0 0 1

Updated Nov 18, 2022
Niklas Mück / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Nov 17, 2022

0 0 0 0

Updated Nov 17, 2022