multiparty-session-types

There are 6 repositories under multiparty-session-types topic.

nuscr/nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
Language:OCaml27 5 5712
NicolasLagaillardie/mpst_rust_github
A library for deadlock-free multiparty session-typed communication in Rust.
Language:Rust26 5 413
ansonmiu0214/TypeScript-Multiparty-Sessions
A mono-repo for a session type API code generation toolchain for modern web programming.
Language:Jupyter Notebook4 2 62
ansonmiu0214/scribble-noughts-and-crosses
A game of Noughts and Crosses written in TypeScript communicating following a Scribble protocol
Language:TypeScript2 0
ansonmiu0214/SessionTS-Benchmarks
Performance benchmarks for Ping Pong protocol implemented using APIs generated from SessionTS.
Language:Jupyter Notebook2 0
ansonmiu0214/SessionTS-Examples
Examples of interactive web applications implemented using the APIs generated from SessionTS.
Language:TypeScript2 0