GitHub repository: JHU-PL-Lab/sato
Primary language: OCaml
Description: Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.