hibanaworks/hibana

Choreography-Derived Runtime Enforcement for Rust

5 mentions on Hacker News by 1 person: 4 stories, 1 comment · first 2026-02-06 · latest 2026-10-11

Mentions per year 5 mentions · busiest year 2026 (5)

20082026

All Stories Comments Newest Top Oldest

Hibana( https://github.com/hibanaworks/hibana ) is an Affine MPST runtime for Rust. The key claim is type-system guardrails. In Hibana software behavior is written as global choreography, projected into role-local sessions, and invalid…
comment by o8vm · 2026-02-07 · in Protocol Validation with Affine MPST in Rust