An implementation of session types in Rust
Asynchronous Session Types
Core session types for Rumpsteak - matching Lean definitions
Session types for multi-party asynchronous communication.
Session type theory algorithms - projection, merge, subtyping
Procedural macros for Rumpsteak session types (Aura flavored).
Session types for asynchronous communication between multiple parties (Aura flavored).
Lean verification bridge for Rumpsteak session types
Choreographic programming for Rumpsteak - effect-based distributed protocols
Async typed session middleware
Generic session types in Rust for async send recv channel
Cookie-based sessions for Axum via typed-session
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.