Explore projects

View DeathStarBench project

cld / systems / DeathStarBench
GNU General Public License v2.0 or later

DeathStarBench modified with X-Trace tracing

0

Updated Apr 17, 2022

0 0 0 1

Updated Apr 17, 2022
View fair_influence_max project

Junaid Ali / fair_influence_max

0

Updated Feb 08, 2019

0 0 0 0

Updated Feb 08, 2019
View simuliris project

Neven Villani / simuliris
BSD 3-Clause "New" or "Revised" License

Local Simulation proofs, the Iris style

0

Updated Nov 15, 2023

0 0 0 0

Updated Nov 15, 2023
View Iris project

Thomas Lamiaux / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
View Iris project

Alix Trieu / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 30, 2020

0 0 0 0

Updated Jul 30, 2020
View ReLoC project

Lennard Gäher / ReLoC
BSD 3-Clause "New" or "Revised" License

A logic for proving contextual refinements [project website]

0

Updated Jun 29, 2021

0 0 0 0

Updated Jun 29, 2021
View transfinite project

Johannes Hostert / transfinite

Iris with transfinite step-indexing

0

Updated Oct 30, 2023

0 0 0 0

Updated Oct 30, 2023
View Flie-PSL project

Rajarshi Roy / Flie-PSL

0

Updated Jan 05, 2024

0 0 0 0

Updated Jan 05, 2024
View Iris project

Yixuan Chen / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 21, 2024

0 0 0 0

Updated May 21, 2024
View ReLoC project

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
View Iris project

Dmitry Khalanskiy / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 14, 2020

0 0 0 0

Updated Apr 14, 2020
View stdpp project

Jakob Botsch Nielsen / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 16, 2019

0 0 0 0

Updated Mar 16, 2019
View prosa-for-certikos project

Maxime Lesourd / prosa-for-certikos

0

Updated Jul 17, 2018

0 0 0 0

Updated Jul 17, 2018
View microbricks project

cld / tracing / microbricks

Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.

0

Updated Nov 15, 2022

0 1 0

Updated Nov 15, 2022
View Iris project

Janggun Lee / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

0

Updated Jun 11, 2025

0 0 0 0

Updated Jun 11, 2025
View coq-stdpp project

Benoit Viguier / coq-stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Apr 19, 2022

0 0 0 0

Updated Apr 19, 2022
View clockwork-modelzoo-volta project

cld / ml / clockwork-modelzoo-volta

Models compiled for use with Clockwork on MPI volta machines (tesla v100)

0

Updated Sep 04, 2020

0 0 0 0

Updated Sep 04, 2020
View Iris project

Abel Nieto / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Apr 26, 2020

0 0 0 0

Updated Apr 26, 2020
View string-ident project

Paolo G. Giarrusso / string-ident
BSD 3-Clause "New" or "Revised" License

An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode

0

Updated Apr 29, 2020

0 0 0 0

Updated Apr 29, 2020
View smr-sgx project

restart-rollback / smr-sgx
MIT License

0

Updated Jun 13, 2023

0 0 0

Updated Jun 13, 2023