Explore projects

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

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

A new, nondeterministic floating-point source semantics and a proof-of-concept connection to the CakeML verified compiler.

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

Java implementation of tracingplane and baggage

HiBench is a Hadoop benchmark suite