Hibana
An Affine MPST Runtime for Rust
Details
- External ID
- 46913747
- Source
- HN
- Company
- —
- Product
- Hibana
- Website domain
- hibanaworks.dev
- Launched
- Feb. 6, 2026
- Cohort
- —
- Upvotes
- 18
- Upvotes percentile
- 0.6711590296495957
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:26 p.m.
- Updated at
- Sept. 7, 2026, 9:26 p.m.
Description
Hi HN — I just open-sourced Hibana and hibana-agent.Hibana is an Affine MPST runtime for Rust: - global choreography -> compile-time projection -> role-local execution - core is no_std / no_alloc-oriented - deterministic route/offer/recv/decode modelRepo: https://github.com/hibanaworks/hibana Demo (AI control with session-typed branching): https://github.com/hibanaworks/hibana-agent
Enrichment
- Theme
- lightweight and on-device AI runtimes
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- rust runtime for affine mpst
- Manually corrected
- False
Could you build this?
No Hibana is an implementation of Multiparty Session Types (MPST) in Rust featuring compile-time projection, affine type semantics, and an allocator-free (#![no_std]) runtime envelope. Implementing sound type-theoretic protocol verification and zero-allocation formal concurrency systems requires deep academic and specialized systems programming expertise.
What it would actually take: Building a formal MPST engine requires implementing choreography calculus, projection algorithms that guarantee deadlock freedom and liveness, and a deterministic finite-state runtime in Rust without dynamic allocation. The stack entails low-level Rust with strict type-level metaprogramming and const generics to model session types. The hard parts are mathematical proofs of protocol projection soundness and meeting hard-real-time/embedded memory footprint gates without runtime allocations.
Discussion
6 comments analyzed.
Competitors mentioned: neqo (QUIC implementation), Protocol Buffers or similar schema tools
Concerns raised: Terminology-heavy explanation obscured practical value, Lack of concrete examples or use cases, Unclear how this relates to existing choreographic programming approaches
Feature requests: Better documentation with practical examples, Clearer explanation of affine types and choreography benefits for non-specialists, Public release of hibana-quic and hibana-agent repos
Competitors
Other products that read as similar to this one — 142 launches clear the similarity bar, closest 8 shown.
Attention rank: #57 of 143 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 85 days after the earliest competitor.
- Diom · hn · 2026-05-03 · 5 upvotes · similarity 0.43
- We built open OpenRouter that turns usage into a better model · hn · 2026-08-27 · 222 upvotes · similarity 0.42
- I built an open-source Rust/TS AI agent runtime with a Next.js-style DX · hn · 2025-12-02 · 5 upvotes · similarity 0.42
- Sofka · hn · 2026-08-19 · 5 upvotes · similarity 0.41
- lsm-engine · github · 2026-09-12 · 16 upvotes · similarity 0.41
- laya-rs · github · 2026-09-23 · 9 upvotes · similarity 0.41
- Rapid-rs · hn · 2025-11-20 · 9 upvotes · similarity 0.40
- LocalGPT · hn · 2026-02-08 · 331 upvotes · similarity 0.40
Other launches for this product
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.