Explore projects

View cloudos project

operating-systems / buildos25 / cloudos
MIT License

5

Updated Jan 11, 2026

5 33 10

Updated Jan 11, 2026
View Iris project

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

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

14

Updated Jan 07, 2026

14 75 30 205

Updated Jan 07, 2026