Explore projects
-
Rodolphe Lepigre / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Jakob Botsch Nielsen / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Rodolphe Lepigre / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Jonas Kastberg / actris
BSD 3-Clause "New" or "Revised" LicenseUpdated -
A new, nondeterministic floating-point source semantics and a proof-of-concept connection to the CakeML verified compiler.
Updated -
Rice Wine / Iris
Creative Commons Attribution 4.0 InternationalThe Coq development for Iris. [project website] [coqdoc]
Updated -
Paolo G. Giarrusso / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
-
Raw Jaeger traces and X-Trace converted traces of DeathStarBench executions
Updated -
A simple dataset of traces of the Hadoop Distributed File System (HDFS).
Updated -
Anjo Vahldiek-Oberwagner / ERIM
Creative Commons Attribution 4.0 InternationalUpdated -
A fork from in order to explore using (a subset of) LTL as a core language of Flipper
Updated -
Simon Spies / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Updated
-
Paolo G. Giarrusso / examples
BSD 3-Clause "New" or "Revised" LicenseSome example verification demonstrating the use of Iris.
Updated -
Simon Spies / stdpp
BSD 3-Clause "New" or "Revised" LicenseAn extended "Standard Library" for Coq. [coqdoc]
Updated -
Simon Spies / Iris
BSD 3-Clause "New" or "Revised" LicenseThe Coq development for Iris. [project website] [coqdoc]
Updated -
Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version
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