Explore projects

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

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

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.

Safety of a syntactically unsafe symbol ADT.