GitHub repository: keigoi/linocaml
Primary language: OCaml
Description: Monad-based linear types in OCaml, with a few syntax extensions