GitHub repository: JHU-PL-Lab/odefa-proof-of-concept
Primary language: OCaml
Description: Proof of concept of CBA, a form of program analysis