ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
YCSB is a cloud database benchmark that we use for HBase
Website for SOSP2021 (http://sosp2021.mpi-sws.org)
A simulator to visualize/analyze tracking data from VR
Mirror of https://github.com/dmlc/tvm for internal development
Check other branches for active development.
Don't forgot to git submodule init and git submodule update!
Iris with transfinite step-indexing
Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1
SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks
The main Coq development.