GitHub repository: keigoi/ocaml-mpst
Primary language: OCaml
Description: Multiparty Session Types in OCaml