GitHub repository: nyu-acsys/drift2
Primary language: OCaml
Description: An abstract-interpretation-based static analysis for inferring refinement types