multiparty-session-types topic
List
multiparty-session-types repositories
nuscr
25
Stars
12
Forks
Watchers
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
mpst_rust_github
31
Stars
4
Forks
31
Watchers
A library for deadlock-free multiparty session-typed communication in Rust.