Explore projects

The Coq development for Iris

The Coq development for Iris

The Coq development for Iris

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

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

HiBench is a Hadoop benchmark suite

YCSB is a cloud database benchmark that we use for HBase

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

Instrumented fork of Apache Kafka from GitHub

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

A fork from in order to explore using (a subset of) LTL as a core language of Flipper

Generative Models are being developed currently which can potentially be used for various applications such as data generation for training models. This project aims to analyse a generative model, the Variational Autoencoder and potential bias in it.