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