Explore projects

View Iris project

Benjamin Peters / Iris
BSD 3-Clause "New" or "Revised" License

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

1

Updated Apr 10, 2025

1 0 0 0

Updated Apr 10, 2025
View Quiver project

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

1

Updated Jul 12, 2024

1 1 0 0

Updated Jul 12, 2024
View Iris project

Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 16, 2024

0 0 0 0

Updated Sep 16, 2024
View simbricks-slurm project

Antoine Kaufmann / simbricks-slurm

0

Updated Dec 21, 2023

0 0 0 0

Updated Dec 21, 2023
View Iris project

Gaëtan Gilbert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 20, 2023

0 0 0 0

Updated Nov 20, 2023
View Iris project

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

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

0

Updated Mar 12, 2025

0 0 0 0

Updated Mar 12, 2025
View Iris project

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

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

0

Updated Nov 17, 2023

0 0 0 0

Updated Nov 17, 2023
View gather-pbs-data project

Vabuk Pahari / gather-pbs-data

0

Updated Sep 01, 2023

0 0 0 0

Updated Sep 01, 2023
View blueprint project

cld / blueprint2 / blueprint

0

Updated Oct 24, 2024

0 22

Updated Oct 24, 2024
View blueprint-trainticket project

cld / blueprint / systems / blueprint-trainticket

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View blueprint-dsb-media project

cld / blueprint / systems / blueprint-dsb-media

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View blueprint-dsb-hotelreservation project

cld / blueprint / systems / blueprint-dsb-hotelreservation

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View blueprint-sockshop project

cld / blueprint / systems / blueprint-sockshop

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View blueprint-dsb-socialnetwork project

cld / blueprint / systems / blueprint-dsb-socialnetwork

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View blueprint-sosp23-experiments project

cld / blueprint / blueprint-sosp23-experiments

0

Updated Oct 24, 2023

0 0 0 0

Updated Oct 24, 2023
View blueprint-compiler project

cld / blueprint / blueprint-compiler

0

Updated Jan 30, 2024

0 0 0 2

Updated Jan 30, 2024
View Iris project

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

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

0

Updated Nov 15, 2024

0 0 0 0

Updated Nov 15, 2024
View RefinedC Extended project

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

0

Updated Jun 20, 2023

0 0 0 0

Updated Jun 20, 2023
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 Iris project

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

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

0

Updated Apr 12, 2024

0 0 0 0

Updated Apr 12, 2024