Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: multiparty-session-types
NicolasLagaillardie/mpst_rust_github
A library for deadlock-free multiparty session-typed communication in Rust.
Language: Rust - Size: 13.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 26 - Forks: 3
nuscr/nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
Language: OCaml - Size: 2.23 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 23 - Forks: 9
ansonmiu0214/TypeScript-Multiparty-Sessions
A mono-repo for a session type API code generation toolchain for modern web programming.
Language: Jupyter Notebook - Size: 49.6 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 4 - Forks: 2
ansonmiu0214/scribble-noughts-and-crosses
A game of Noughts and Crosses written in TypeScript communicating following a Scribble protocol
Language: TypeScript - Size: 2.08 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
ansonmiu0214/SessionTS-Benchmarks
Performance benchmarks for Ping Pong protocol implemented using APIs generated from SessionTS.
Language: Jupyter Notebook - Size: 16.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
ansonmiu0214/SessionTS-Examples
Examples of interactive web applications implemented using the APIs generated from SessionTS.
Language: TypeScript - Size: 7.91 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0