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