Explore projects

View Iris project

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

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

13

Updated Apr 18, 2025

13 72 25 199

Updated Apr 18, 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 latex-tips-tricks project

Eva Darulova / latex-tips-tricks

1

Updated Jun 14, 2022

1 1 1 0

Updated Jun 14, 2022
View Iris project

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

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

1

Updated Apr 10, 2025

1 0 0 0

Updated Apr 10, 2025
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 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 Logo project

Iris / Logo

Archived 0

Updated Jan 30, 2021

Archived 0 0 0 0

Updated Jan 30, 2021
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-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 Iris project

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

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

0

Updated Jan 09, 2025

0 0 0 0

Updated Jan 09, 2025
View RustHornBelt Old project

Yusuke Matsushita / RustHornBelt Old

RustHorn × RustBelt

0

Updated Feb 26, 2021

0 0 0 0

Updated Feb 26, 2021
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

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

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

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

0

Updated Feb 06, 2025

0 0 0 0

Updated Feb 06, 2025
View Iris project

Niklas Mück / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 17, 2022

0 0 0 0

Updated Nov 17, 2022
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 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

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

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

0

Updated Apr 12, 2024

0 0 0 0

Updated Apr 12, 2024
View iris project

Tej Chajed / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Jul 23, 2024

0 0 0 0

Updated Jul 23, 2024
View iris project

Paolo G. Giarrusso / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Dec 22, 2024

0 0 0

Updated Dec 22, 2024