GitHub repository: smimram/decaml
Primary language: OCaml
Description: Dependent variant of OCaml