Explore projects

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

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

11

Updated Oct 09, 2024

11 65 23 197

Updated Oct 09, 2024
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
P

Aman Shankar Mathur / PsychToolboxVR

0

Updated Feb 20, 2023

0 0 1 0

Updated Feb 20, 2023
F

AVA / FloVer _public
BSD 2-Clause with views sentence

A certificate checker for roundoff error bounds (Public Version)

Archived 0

Updated Nov 08, 2017

Archived 0 0 0 0

Updated Nov 08, 2017
I

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

The Coq development for Iris

0

Updated Oct 07, 2024

0 0 0

Updated Oct 07, 2024
I

Jonas Kastberg / iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris

0

Updated Jan 18, 2024

0 0 0 0

Updated Jan 18, 2024
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

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

The Coq development for Iris

0

Updated Aug 20, 2024

0 0 0 0

Updated Aug 20, 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

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
I

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

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

0

Updated Jan 22, 2021

0 0 0 0

Updated Jan 22, 2021
I

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

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

0

Updated Feb 01, 2023

0 0 0 0

Updated Feb 01, 2023
I

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
R

Daniel Neider / Resilient ABCD

Code and documents for "Resilient Abstraction-Based Controller Design"

0

Updated Jan 02, 2024

0 0 0 0

Updated Jan 02, 2024
S

SAV / sav-science

LaTeX package for weak memory papers

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
I

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

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
I

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

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

0

Updated Apr 26, 2020

0 0 0 0

Updated Apr 26, 2020