Explore projects

S

Isaac van Bakel / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 31, 2023

0 0 0 0

Updated May 31, 2023
L

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

The Coq development of LambdaRust

0

Updated May 10, 2023

0 0 0 0

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

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

0

Updated May 30, 2023

0 0 0 0

Updated May 30, 2023
C

Mateusz Rychlicki / Cav 2023 Artifact Evaluation

0

Updated Apr 28, 2023

0 0 0 0

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

0

Updated Jun 02, 2023

0 0 0 0

Updated Jun 02, 2023
S

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

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

0

Updated May 01, 2023

0 0 0 0

Updated May 01, 2023
L

Jan / lambda-where-fullproofs

0

Updated Apr 23, 2023

0 0 0 0

Updated Apr 23, 2023
Y

ds-ss23 / yfs-lab

0

Updated Apr 18, 2023

0 0 0 0

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

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

0

Updated Apr 12, 2023

0 0 0 0

Updated Apr 12, 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
L

FCS / lambda-whr

0

Updated Mar 07, 2023

0 0 0 0

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

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

0

Updated Feb 17, 2023

0 0 0 0

Updated Feb 17, 2023
P

Networked Systems / blockchain / other-projects / plot-layout

0

Updated Feb 13, 2023

0 0 0 0

Updated Feb 13, 2023
S

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

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

0

Updated Apr 18, 2023

0 0 0 0

Updated Apr 18, 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
A

Carina Schmitt / academicpages
MIT License

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 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 Apr 06, 2023

0 0 0 2

Updated Apr 06, 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 May 26, 2023

0 0 0 0

Updated May 26, 2023