GoKawiilNew Rust library Hibana enforces multiparty protocols from a single choreography
Hibana is a new no_std Rust runtime that lets developers define a single global choreography describing a protocol among up to 256 roles, which it then projects into a compact program for each role. Every send, receive, or routing step at each endpoint must match its projected program before the step can proceed, and the system requires no allocator, using caller-provided storage instead.