Explore projects

T

Iris / Tutorial POPL18
BSD 3-Clause "New" or "Revised" License

Deprecated repository; please use the POPL 2021 version instead

1

Updated Jan 19, 2021

1 2 0 0

Updated Jan 19, 2021
I

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

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

1

Updated Mar 12, 2025

1 2 0 0

Updated Mar 12, 2025
I

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

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

0

Updated Feb 20, 2024

0 0 0 0

Updated Feb 20, 2024
R

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
Iris / Diaframe
BSD 3-Clause "New" or "Revised" License

Automation for Iris

0

Updated Mar 14, 2025

0 1 8 8

Updated Mar 14, 2025
Vincent / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jun 08, 2022

0

Updated Jun 08, 2022
E

Simon Friis Vindum / examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated Jul 17, 2020

0 0 0 0

Updated Jul 17, 2020
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
E

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

Some example verification demonstrating the use of Iris.

0

Updated Feb 16, 2024

0 0 0 0

Updated Feb 16, 2024
E

William Mansky / examples
BSD 3-Clause "New" or "Revised" License

Some example verification demonstrating the use of Iris.

0

Updated Mar 10, 2025

0 0 0 0

Updated Mar 10, 2025
S

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

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

0

Updated Sep 28, 2022

0 0 0 0

Updated Sep 28, 2022
L

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

The Coq development of LambdaRust

0

Updated Nov 17, 2023

0 0 0 0

Updated Nov 17, 2023
Simon Friis Vindum / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Sep 10, 2020

0 0 0 0

Updated Sep 10, 2020
Ike Mulder / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Feb 16, 2024

0 0 0 0

Updated Feb 16, 2024
Joseph Tassarotti / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Jun 27, 2021

0 0 0 0

Updated Jun 27, 2021
I

Dan Frumin / iris-coq
Creative Commons Attribution 4.0 International

The Coq development for Iris

0

Updated Jul 24, 2023

0 0 0 0

Updated Jul 24, 2023
S

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

Coq development for the Semantics course taught at Saarland University

0

Updated Mar 04, 2025

0 1 0 0

Updated Mar 04, 2025
S

Thibaut Pérami / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Oct 30, 2024

0 0 0 0

Updated Oct 30, 2024
C

Ralf Jung / cfml2

Fork of https://gitlab.inria.fr/charguer/cfml2

0

Updated Jul 13, 2018

0 0 0 0

Updated Jul 13, 2018
I

Arthur Azevedo de Amorim / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 24, 2023

0 0 0 0

Updated May 24, 2023