Explore projects

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

opam repository for old versions of things we develop (to avoid accumulating too many versions in the main repository)

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.

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

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

The Coq development of LambdaRust

Iris with transfinite step-indexing

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

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

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

Java implementation of tracingplane and baggage

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