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