A library for deadlock-free multiparty session-typed communication in Rust.
-
Updated
Sep 18, 2024 - Rust
A library for deadlock-free multiparty session-typed communication in Rust.
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
A mono-repo for a session type API code generation toolchain for modern web programming.
repository with the submitted source code for the MSc thesis named "CoMPSeT - Comparing Multiparty Session Types"
Examples of interactive web applications implemented using the APIs generated from SessionTS.
Performance benchmarks for Ping Pong protocol implemented using APIs generated from SessionTS.
A game of Noughts and Crosses written in TypeScript communicating following a Scribble protocol
Add a description, image, and links to the multiparty-session-types topic page so that developers can more easily learn about it.
To associate your repository with the multiparty-session-types topic, visit your repo's landing page and select "manage topics."