Explore projects

View Iris project

ffengyu / 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 Aug 31, 2025

0 0 0 0

Updated Aug 31, 2025
View Iris project

ds-ac / 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 Jul 02, 2025

0 0 0 0

Updated Jul 02, 2025
View Iris project

Markus de Medeiros / 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 Jul 15, 2025

0 0 0 0

Updated Jul 15, 2025
View cloudos project

Antoine Kaufmann / cloudos
MIT License

0

Updated Jan 09, 2026

0 0 0 1

Updated Jan 09, 2026
View cloudos project

Jonas Kaufmann / cloudos
MIT License

0

Updated Jan 09, 2026

0 0 0 0

Updated Jan 09, 2026
View Iris project

Alessio Duè / 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 Jan 09, 2026

0 0 0 0

Updated Jan 09, 2026
View iris project

Amin Timany / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Dec 14, 2025

0 0 0 0

Updated Dec 14, 2025
View PsychToolboxVR project

Aman Shankar Mathur / PsychToolboxVR

0

Updated Feb 20, 2023

0 0 1 0

Updated Feb 20, 2023
View iris project

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

The Coq development for Iris

0

Updated Oct 30, 2025

0 0 0

Updated Oct 30, 2025