maple. A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.
69concurrency-bugs. A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.
63docker-images. A collection of Docker images.
28mesos. Mirror of Apache Mesos
2mesos-sh. Run a shell in a Mesos cluster.
1terraform-provider-wrapper. Go
1