Hibana is a Rust runtime that enforces finite multiparty protocols by projecting a global choreography into compact programs for each role, ensuring all communication steps match the protocol before committing. It operates without allocation, supports up to 256 roles, and provides transport-neutral integration with the same API across hosted and embedded targets.
Hibana-QUIC is an experimental Rust implementation of QUIC v1/v2 and HTTP/3 that uses choreographic programming to express protocol order and ownership transfer between roles. The library is no_std, forbids unsafe Rust, and avoids allocation, with TLS provided by hibana-tls and platform abstractions supplied by hibana-quic-pal.