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