Explore projects

This repo contains our prototype implementing the generalised projection of global types from our MST framework with generalised choice.

Maintainer: Felix Stutz

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

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.

Instrumented version of Cassandra

Fork of https://gitlab.inria.fr/charguer/cfml2

This project contains some scripts and other files that are used by many Iris project for their CI

This project contains some scripts and other files that are used by many Iris project for their CI

This project contains some scripts and other files that are used by many Iris project for their CI

Analysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.