Explore projects

View cloudos project

operating-systems / buildos25 / cloudos
MIT License

5

Updated Dec 07, 2025

5 33 5 29

Updated Dec 07, 2025
View Iris project

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

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

14

Updated Dec 07, 2025

14 75 28 205

Updated Dec 07, 2025
View iris project

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

The Coq development for Iris

0

Updated Dec 07, 2025

0 0 0 0

Updated Dec 07, 2025
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 Dec 05, 2025

0 0 0 0

Updated Dec 05, 2025
View Iris Physical Step project

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

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

0

Updated Dec 04, 2025

0 0 1 0

Updated Dec 04, 2025
View Iris project

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

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

0

Updated Oct 30, 2025

0 0 0 0

Updated Oct 30, 2025
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
View Iris project

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

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

0

Updated Oct 29, 2025

0 0 0 0

Updated Oct 29, 2025
View iris project

Tej Chajed / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Oct 24, 2025

0 0 0 0

Updated Oct 24, 2025
View iris-coq project

Janno / iris-coq
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Oct 16, 2025

0 0 0 0

Updated Oct 16, 2025
View Iris project

Quentin VERMANDE / 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 Oct 13, 2025

0 0 0 0

Updated Oct 13, 2025
View Iris project

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

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

0

Updated Oct 07, 2025

0 0 0 0

Updated Oct 07, 2025
View Iris project

Simcha van Collem / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Oct 05, 2025

0 0 0 0

Updated Oct 05, 2025
View Iris project

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

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

0

Updated Sep 26, 2025

0 0 0 0

Updated Sep 26, 2025
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

Dongjae 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 Aug 03, 2025

0 0 0 0

Updated Aug 03, 2025
View Iris project

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

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

1

Updated Aug 02, 2025

1 0 0 0

Updated Aug 02, 2025
View Iris project

Johannes Hostert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 17, 2025

0 0 0 0

Updated Jul 17, 2025
View Iris project

Hai Dang / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 16, 2025

0 0 0 0

Updated Jul 16, 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