Explore projects

Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version

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

The benchmark repository for the added float support to the KeY deductive verifier.

Fork of https://gitlab.inria.fr/charguer/cfml2

An extended "Standard Library" for Coq. [coqdoc]

Some example verification demonstrating the use of Iris.

SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks

An extended "Standard Library" for Coq. [coqdoc]

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.

Standalone prebuilt X-Trace server and dockerized X-Trace server