⬢github SMT · 73 ★ +41 since we first saw it · pushed 16 d ago · Apache-2.0
hibanaworks/hibana
Choreography-Derived Runtime Enforcement for Rust
Hibana is a Rust runtime enforcement kernel for multiparty protocols. You write one global choreography, which is projected into a compact program per role; every send, receive, or route step must match that program before progressing. It is no_std, dependency-free, uses caller-provided storage, supports up to 256 roles, and stays transport-neutral.
Why now: It appeared in a Hacker News discussion on 'Choreographic Programming in Rust', drawing attention to choreography-derived protocol enforcement.
Who it is for: Rust developers building multiparty message protocols, including embedded/no_std systems, who want runtime-checked protocol conformance.
Stars over our 431 snapshots: 32 to 73, since 23 d ago.
Where people talked about it
- Yhn Choreographic Programming in Rust 22 d ago
API: https://socialmediatrends-api.osmike.com/v1/repos/hibanaworks/hibana