GitHub repository: yallop/higher
Primary language: OCaml
Description: Higher-kinded programming in OCaml