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.