Explore projects

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
View cloudos project

operating-systems / buildos25 / cloudos
MIT License

5

Updated Jan 10, 2026

5 33 10

Updated Jan 10, 2026
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 Expiris project

FCS / Expiris
BSD 3-Clause "New" or "Revised" License

1

Updated Jun 01, 2024

1 0 0 0

Updated Jun 01, 2024
View iris-coq project

Michael Sammler / iris-coq
Creative Commons Attribution 4.0 International

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

0

Updated Feb 04, 2020

0 0 0 0

Updated Feb 04, 2020
View VRTrackingSimulator project

Aman Shankar Mathur / VRTrackingSimulator

A simulator to visualize/analyze tracking data from VR

0

Updated Feb 20, 2023

0 0 0 0

Updated Feb 20, 2023
View sav-science project

SAV / sav-science

LaTeX package for weak memory papers

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
View iris project

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

The Coq development for Iris

0

Updated Dec 14, 2025

0 0 0 0

Updated Dec 14, 2025
View Iris project

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

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

0

Updated Jun 08, 2022

0

Updated Jun 08, 2022
View Iris project

Gregory Malecha / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
View Iris project

Dmitry Khalanskiy / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Apr 14, 2020

0 0 0 0

Updated Apr 14, 2020
View Iris project

Germán Delbianco / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
View Iris project

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

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

0

Updated Apr 08, 2021

0 0 0 0

Updated Apr 08, 2021
View Iris project

Glen Mével / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 02, 2022

0 0 0 0

Updated Feb 02, 2022
View Iris project

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

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

0

Updated Jul 30, 2020

0 0 0 0

Updated Jul 30, 2020
View Iris project

Abhishek Anand / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
View Iris project

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

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

0

Updated Mar 21, 2020

0 0 0 0

Updated Mar 21, 2020
View latex-tips-tricks project

Eva Darulova / latex-tips-tricks

0

Updated Jun 14, 2022

0 1 1 0

Updated Jun 14, 2022
View RustHornBelt Old project

Yusuke Matsushita / RustHornBelt Old

RustHorn × RustBelt

0

Updated Feb 26, 2021

0 0 0 0

Updated Feb 26, 2021
View Iris project

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

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

0

Updated Jun 27, 2025

0 0 0 0

Updated Jun 27, 2025