Explore projects

View cloudos project

operating-systems / buildos25 / cloudos
MIT License

8

Updated Mar 10, 2026

8 33 8

Updated Mar 10, 2026
View cloudos project

Jonas Kaufmann / cloudos
MIT License

0

Updated Mar 09, 2026

0 0 0 0

Updated Mar 09, 2026
View cloudos project

Antoine Kaufmann / cloudos
MIT License

0

Updated Mar 08, 2026

0 0 0 1

Updated Mar 08, 2026
View Iris project

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

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

14

Updated Mar 06, 2026

14 77 32 205

Updated Mar 06, 2026
View Iris project

Marijn van Wezel / 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 Mar 05, 2026

0 0 0 0

Updated Mar 05, 2026
View iris project

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

The Coq development for Iris

0

Updated Mar 04, 2026

0 0 0 0

Updated Mar 04, 2026
View Iris project

clef-men / 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 Mar 03, 2026

0 0 0 0

Updated Mar 03, 2026
View Iris project

Zichen Zhang / 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 Feb 26, 2026

0 0 0 0

Updated Feb 26, 2026
View Iris project

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

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

0

Updated Feb 25, 2026

0 1 0 1

Updated Feb 25, 2026
View Iris project

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

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

0

Updated Feb 19, 2026

0 0 0 0

Updated Feb 19, 2026
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 Feb 19, 2026

0 0 1 0

Updated Feb 19, 2026
View iris project

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

The Coq development for Iris

0

Updated Feb 09, 2026

0 0 1 0

Updated Feb 09, 2026
View Iris-jh project

Joseph Tassarotti / Iris-jh
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 Feb 07, 2026

0 0 0 0

Updated Feb 07, 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 Feb 05, 2026

0 0 0 0

Updated Feb 05, 2026
View Iris project

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

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

0

Updated Jan 07, 2026

0 0 0 0

Updated Jan 07, 2026
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 Dec 16, 2025

0 0 0 0

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

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