GitHub repository: nuscr/nuscr
Primary language: OCaml
Description: A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.