TEE-based Metadata Service
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.
Code for computing sufficient, implementable and permissive assumptions.
A verifier for approximations of transcendental functions.
Practical verification of numerical kernels
DeathStarBench modified with X-Trace tracing