GitHub repository: JHU-PL-Lab/jaylang
Primary language: OCaml
Description: An implementation of semantic-type-guided bug finding