GitHub repository: tpcp-project/cbat_tools
Primary language: OCaml
Description: Program analysis tools developed at Draper on the CBAT project.