Explore projects
-
Updated
-
HumamAlhusaini / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Simon Spies / transfinite
Creative Commons Attribution 4.0 InternationalIris with transfinite step-indexing
Updated -
Gaëtan Gilbert / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Johannes Hostert / POPL21 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseA tutorial for the Iris Separation Logic Framework
Updated -
SimBricks / app-client
MIT LicenseUpdated -
A simulator to visualize/analyze tracking data from VR
Updated -
A simple dataset of traces of the Hadoop Distributed File System (HDFS).
Updated -
Thomas Somers / Iris Physical Step
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Pierre Rousselin / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Athul Raj Kollareth / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" LicenseThe main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
-
Paolo G. Giarrusso / iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris
Updated -
pacer / linux-backend-4.9.5
GNU General Public License v2.0 or laterUpdated -
Jason Hu / lambda-rust
BSD 3-Clause "New" or "Revised" LicenseThe Coq development of LambdaRust
Updated -
Daniel Gratzer / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Updated
