Explore projects

I

George Pirlea / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jul 31, 2019

0 0 0 0

Updated Jul 31, 2019
S

Rodolphe Lepigre / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Aug 14, 2019

0 0 0 0

Updated Aug 14, 2019
S

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

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

0

Updated Aug 20, 2019

0 0 0 0

Updated Aug 20, 2019
Q

Aastha Mehta / qapla
BSD 4-Clause "Original" or "Old" License

0

Updated Sep 04, 2019

0 0 0 0

Updated Sep 04, 2019
S

Maxime Dénès / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 05, 2019

0 0 0 0

Updated Sep 05, 2019
L

Maxime Dénès / LambdaRust-coq
BSD 3-Clause "New" or "Revised" License

The Coq development of LambdaRust

0

Updated Sep 10, 2019

0 0 0 0

Updated Sep 10, 2019
A

Jonas Kastberg / actris
BSD 3-Clause "New" or "Revised" License

0

Updated Oct 18, 2019

0 0 0 0

Updated Oct 18, 2019
F

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

Unmaintained repository. An extension of the Iris program logic to support linearity and fair refinement reasoning.

0

Updated Nov 02, 2019

0 0 0 0

Updated Nov 02, 2019
L

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

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

0

Updated Nov 06, 2019

0 1

Updated Nov 06, 2019
C

Backpack / Cabal Patch for Class Struggle
BSD 3-Clause "New" or "Revised" License

A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.

0

Updated Nov 11, 2019

0 0

Updated Nov 11, 2019
T

Paolo G. Giarrusso / tutorial-popl18

Exercises for the Iris tutorial

0

Updated Nov 12, 2019

0 0 0 0

Updated Nov 12, 2019
E

Rodolphe Lepigre / examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated Nov 14, 2019

0 0 0 0

Updated Nov 14, 2019
I

Maxime Dénès / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Dec 13, 2019

0 0 0 0

Updated Dec 13, 2019
I

Germán Delbianco / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
T

Germán Delbianco / Tutorial POPL20
BSD 3-Clause "New" or "Revised" License

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
S

Michael Sammler / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
I

Abhishek Anand / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
O

FCS / ocpl-coq
Creative Commons Attribution 4.0 International

0

Updated Feb 02, 2020

0 0 0 0

Updated Feb 02, 2020
I

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
C

David Swasey / coq-stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Feb 23, 2020

0 0 0 0

Updated Feb 23, 2020