Explore projects

I

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
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
I

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
Dongjae Lee / 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 22, 2024

0 0 0 0

Updated Nov 22, 2024
Simcha van Collem / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 08, 2023

0 0 0 0

Updated Feb 08, 2023
Thomas Lamiaux / 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 Sep 03, 2024

0 0 0 0

Updated Sep 03, 2024
Armaël Guéneau / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 02, 2023

0 0 0 0

Updated Mar 02, 2023
Johannes Hostert / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
I

Arthur Azevedo de Amorim / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 24, 2023

0 0 0 0

Updated May 24, 2023
R

Yusuke Matsushita / RustHornBelt Old

RustHorn × RustBelt

0

Updated Feb 26, 2021

0 0 0 0

Updated Feb 26, 2021
S

SAV / sav-science

LaTeX package for weak memory papers

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
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
Yiyun Liu / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 31, 2024

0 0 0 0

Updated Jul 31, 2024
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
V

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
I

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

The Coq development for Iris

0

Updated Sep 09, 2023

0 0 0 0

Updated Sep 09, 2023
I

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
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
I

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
I

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