GitLab

Publicly released Azure Functions traces from https://github.com/Azure/AzurePublicDataset/blob/master/AzureFunctionsDataset2019.md

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.

Practical verification of numerical kernels

Practical verification of numerical kernels

Code for RedQueen paper for simulating user walls synthetically as well as using real data.

A monadic translation of mini C into Iris's HeapLang [project website]

A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.

Simplistic dependency analysis tool for C

Instrumented version of Cassandra