Explore projects

rLTL to LTL rewriter

Some example verification demonstrating the use of Iris.

The Coq development of LambdaRust

Public releases for the dPCF project

The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.

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

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

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

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

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