Explore projects

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 Efficient Training of LLMs project

Networked Systems / Efficient Training of LLMs

Offering the seminar course at MPI-SWS & Universität des Saarlandes for Winter Semester 2025-2026

1

Updated Dec 02, 2025

1 0 0 0

Updated Dec 02, 2025
View cloudos project

Jonas Kaufmann / cloudos
MIT License

0

Updated Nov 28, 2025

0 0 0 0

Updated Nov 28, 2025
View cloudos project

Antoine Kaufmann / cloudos
MIT License

0

Updated Dec 07, 2025

0 0 0 0

Updated Dec 07, 2025
View cloudos project

operating-systems / buildos25 / cloudos
MIT License

5

Updated Dec 07, 2025

5 33 5 29

Updated Dec 07, 2025
View astra-sim project

osnet / astra-sim
MIT License

ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale

0

Updated Sep 17, 2025

0 0 0 0

Updated Sep 17, 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 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 RefinedC project

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

0

Updated Apr 09, 2025

0 0 0 0

Updated Apr 09, 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 Daenerys project

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

0

Updated Jun 18, 2025

0 1 0 0

Updated Jun 18, 2025
View perf-profiler project

Matheus Stolet / perf-profiler

0

Updated Feb 24, 2025

0 0 0 0

Updated Feb 24, 2025
View stack-parser project

Bite Ye / stack-parser

0

Updated Nov 15, 2025

0 0 0 0

Updated Nov 15, 2025
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 Nov 24, 2024

0 0 0 0

Updated Nov 24, 2024
View OpenLane for SwiSH project

Artem Ageev / OpenLane for SwiSH
Apache License 2.0

0

Updated Nov 25, 2024

0 0 0 0

Updated Nov 25, 2024
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 app-client project

SimBricks / app-client
MIT License

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
View transfinite project

Dongjae Lee / transfinite
Creative Commons Attribution 4.0 International

Iris with transfinite step-indexing

0

Updated Aug 03, 2025

0 0 0 0

Updated Aug 03, 2025
View Iris project

Daniel Nezamabadi / 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 Nov 13, 2024

0 0 0 0

Updated Nov 13, 2024
View Quiver project

Rodolphe Lepigre / Quiver
BSD 3-Clause "New" or "Revised" License

0

Updated Nov 11, 2024

0 0 0 0

Updated Nov 11, 2024