A library for deadlock-free multiparty session-typed communication in Rust.
-
Updated
Sep 18, 2024 - Rust
#
multiparty-session-types
Here are 8 public repositories matching this topic...
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
-
Updated
Oct 16, 2026 - OCaml
A mono-repo for a session type API code generation toolchain for modern web programming.
-
Updated
Mar 5, 2023 - Jupyter Notebook
Graded multiparty session / choreographic types in Agda, combining echo loss-grades with epistemic warrants. The keystone K-CUT (grading and transport commute with endpoint projection) is machine-checked, --safe --without-K, for the finite binary-choice plain-merge fragment plus asynchrony. Recursion, full merge, delegation open.
distributed-systems agda session-types multiparty-session-types causal-ordering choreographic-programming type-theory-in-number-theory echo-types epistemic-types
-
Updated
Nov 1, 2026 - Agda
Performance benchmarks for Ping Pong protocol implemented using APIs generated from SessionTS.
-
Updated
Jan 6, 2023 - Jupyter Notebook
repository with the submitted source code for the MSc thesis named "CoMPSeT - Comparing Multiparty Session Types"
-
Updated
Jun 26, 2025 - JavaScript
Examples of interactive web applications implemented using the APIs generated from SessionTS.
-
Updated
Jan 5, 2023 - TypeScript
A game of Noughts and Crosses written in TypeScript communicating following a Scribble protocol
-
Updated
Dec 11, 2022 - TypeScript
Add this topic to your repo
To associate your repository with the multiparty-session-types topic, visit your repo's landing page and select "manage topics."