GitHub repository: seunomonije/mcbeth
Primary language: OCaml
Description: PL based off of the measurement calculus