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