Show HN: Hibana – An Affine MPST Runtime for Rust
3 months ago
- #Rust
- #deadlock-free
- #MPST
- Hibana is an affine MPST engine for Rust with a no_std/no_alloc-oriented core.
- Allows writing global choreography once, projecting it at compile time, and running affine cursors to prevent invalid protocol progression.
- Status: Preview with stable core ideas but potentially evolving APIs.
- Features include Const Projection for building protocols with pure const fn composition, Affine Cursors ensuring linear resource steps, and being Transport Agnostic.
- Embedded First with Rust 2024, no_std, and no_alloc-oriented core for predictable resource usage.
- Deterministic Observability through dual-ring tap architecture and Effect Policy Filter with an eBPF-inspired bytecode VM.
- Includes crates like hibana (core), hibana-quic (QUIC integration demo), and hibana-agent (AI control automation demo).
- Get started by adding hibana as a dependency from GitHub.