Explore projects

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

Unmaintained repository. 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

Public release of compilation to capabilities