Explore projects
-
Updated
-
Joseph Tassarotti / Iris-jh
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)
Updated -
Updated
-
-
golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.
Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.
Updated -
Standalone prebuilt X-Trace server and dockerized X-Trace server
Updated -
golang implementation of tracingplane / baggage stuff.
Note that some of the go imports might be out of whack since the repository is cloned from GitHub
Updated -
Rodolphe Lepigre / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Pierre Roux / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
-
ffengyu / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)
Updated -
Iris / tutorial-popl24
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Quentin VERMANDE / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)
Updated -
Janno / coq-stdpp
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Abhishek Anand / Iris
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated -
William Mansky / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated
