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
Instrumented version of Cassandra
Fork of https://gitlab.inria.fr/charguer/cfml2
The implementation for checking linearizability using hitting families of schedules