multiparty-session-types topic

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

nuscr

A library for deadlock-free multiparty session-typed communication in Rust.

NicolasLagaillardie