GitHub repository: kestreltechnology/codehawk
Primary language: OCaml
Description: CodeHawk Abstract Interpretation Engine and Analyzers