hibanaworks/hibana
View on GitHub ↗ ★ 74 Rust
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
20082026
-
▲ 52
Choreographic Programming in Ruststory by o8vm · 2026-10-11 · 44 comments
-
▲ 3
Show HN: AI agent framework where dangerous actions are structurally unreachablestory by o8vm · 2026-02-20 · 0 comments
-
▲ 5
Show HN: Hibana – choreography-first protocol safety for Ruststory by o8vm · 2026-02-07 · 2 comments
-
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 -
▲ 18
Show HN: Hibana – An Affine MPST Runtime for Ruststory by o8vm · 2026-02-06 · 6 comments