Choreographic Programming in Rust
Summary
Overview of Hibana, a choreography-derived runtime enforcement kernel for Rust that enables finite multiparty protocols. The README explains how to project choreographies into role-specific programs, enforce endpoint operations, and integrate with transports, along with guarantees, failures, and verification tooling. Valuable for developers exploring protocol-driven architectures and secure distributed systems, especially in Rust.