GitHub repository: smimram/sparkling
Primary language: OCaml
Description: Perform verification of concurrent programs using syntactic regions.