safe-coupling. Relational verification of probabilistic programs
cfl-reach. Kotlin implementation of CFL Reachability algorithm for pointer analysis in C++ and Java programs
oquechy.github.io. My personal website
liquidhaskell. Liquid Types For Haskell
