ferrite-session (cargo): Session Types DSL for Rust
Keywords: session-types