GitHub repository: zkincaid/duet
Primary language: OCaml
Description: Duet: static analysis for unbounded concurrency