Explore projects

View stdpp project

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

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

0

Updated Mar 11, 2026

0 0 0 0

Updated Mar 11, 2026
View cloudos project

operating-systems / buildos25 / cloudos
MIT License

8

Updated Mar 11, 2026

8 33 8

Updated Mar 11, 2026
View cloudos project

Jonas Kaufmann / cloudos
MIT License

0

Updated Mar 11, 2026

0 0 0 0

Updated Mar 11, 2026
View PROSA - Formally Proven Schedulability Analysis project

RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" License

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

2

Updated Mar 11, 2026

2 19 7 28

Updated Mar 11, 2026
View cloudos project

Antoine Kaufmann / cloudos
MIT License

0

Updated Mar 11, 2026

0 0 0 1

Updated Mar 11, 2026
View Actris project

Marijn van Wezel / Actris
BSD 3-Clause "New" or "Revised" License

0

Updated Mar 09, 2026

0 0 0 0

Updated Mar 09, 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 LiME project

RTS / LiME
MIT License

0

Updated Mar 04, 2026

0 0 0

Updated Mar 04, 2026
View POPL20 Iris Tutorial project

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

0

Updated Mar 04, 2026

0 3 0 1

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 gpfsl project

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

A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)

1

Updated Feb 27, 2026

1 3 3 1

Updated Feb 27, 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 Iron project

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

The Iron logic for precise reasoning about resources [project website]

1

Updated Feb 25, 2026

1 4 2 0

Updated Feb 25, 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 ci project

Iris / ci

This project contains some scripts and other files that are used by many Iris project for their CI

0

Updated Feb 20, 2026

0 3 0 1

Updated Feb 20, 2026
View lambda-rust project

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

The Coq development of LambdaRust

0

Updated Feb 19, 2026

0 0 0 0

Updated Feb 19, 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 os.mpi-sws.org project

osnet / os.mpi-sws.org

https://os.mpi-sws.org/

2

Updated Feb 17, 2026

2 0 0 0

Updated Feb 17, 2026