GitHub repository: wojpok/dbl
Primary language: OCaml
Description: An experimental programming language that combines effect handlers and implicit parameters