Simple zero copy streaming multipart decoder implementation
Secure distributed substrate for multiparty transactions using write-once key-value storage with ARID-based addressing
Lean verification bridge for Rumpsteak session types
A library implementing Multiparty Session Types for 2 or more participants
Lean verification bridge for Telltale session types
Lean verification bridge for Telltale session types
A model of Federated Learning using Rust
Session types for multi-party asynchronous communication.
Choreographic programming for Rumpsteak - effect-based distributed protocols
Procedural macros for Rumpsteak session types (Aura flavored).
Session type theory algorithms - projection, merge, subtyping
Core session types for Rumpsteak - matching Lean definitions