Hibana – An Affine MPST Runtime for Rust
Show HN: Hibana – choreography-first protocol safety for Rust
Hibana – An Affine MPST Runtime for Rust operates in show hn launch.
Profile
Hi HN — I just open-sourced Hibana and hibana-agent.Hibana is an Affine MultiParty Session Types (MPST) runtime for Rust.It targets protocol drift in distributed systems. Instead of maintaining separate hand-written state machines in each component, you define interaction once as a global choreography and project role-local behavior at compile time. At runtime, only valid protocol transitions are executable, so invalid moves such as skipping, reusing, or taking the wrong branch are rejected by the protocol model.The practical value is that one global source of truth replaces multiple hand-written state machines and removes a class of protocol-drift bugs.Core repo: https://github.com/hibanawo
The company sits in the show hn launch segment, where it competes on its core product or service.
Directory data places it at the Show HN launch stage.
| Sector | Show HN launch |
|---|---|
| Stage | Show HN launch |
Website: hibanaworks.dev
Browse related
Create a free account