The Coq development for Iris
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!
Integrates programming and direct manipulation for CAD.
The Coq development for Iris. [project website] [coqdoc]
ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
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
mperl: A language for custom robotic manipulators
Instrumented fork of Apache Kafka from GitHub
A fork from in order to explore using (a subset of) LTL as a core language of Flipper
HiBench is a Hadoop benchmark suite
YCSB is a cloud database benchmark that we use for HBase