Explore projects

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

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

The Coq development for Iris. [project website] [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

HiBench is a Hadoop benchmark suite

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

Model checker for distributed systems using hitting families of schedules

The Coq development of LambdaRust

mperl: A language for custom robotic manipulators

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

This project contains some scripts and other files that are used by many Iris project for their CI

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