hengchu

tiger-haskell. Modern compiler implementation in Haskell (Tiger programming language)

fuzzi-impl. Proof-of-Concept Implementation of Fuzzi: A Three-Level Logic for Differential Privacy

bind-rs. A crate for experimenting with MTL-style monads in rust

fuzzi-model. A functional model of symbolic testing for differential privacy

shadowdp. Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".

Hipmunk. Haskell binding for Chipmunk, 2D physics engine.