GitHub repository: veracity-lang/veracity2g
Primary language: OCaml
Description: Veracity compiler for programming with commutativity