Hibana
An Affine MPST Runtime for Rust
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
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
HN · launched Feb 6, 2026 · 18 upvotes (top 33%) · 0 views
Niche: scripting and execution runtimes · 56 launches, 4 in the last 7 days · Explore this niche →
Category and tags
- Horizontal
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 56 launches in scripting and execution runtimes →
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 : 368 launches clear the similarity bar, closest 8 shown.
Attention rank: #136 of 369 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 95 days after the earliest competitor.
- Diom · hn · 2026-05-03 · 5 upvotes · similarity 0.45
- We built open OpenRouter that turns usage into a better model · hn · 2026-08-27 · 222 upvotes · similarity 0.44
- I built an open-source Rust/TS AI agent runtime with a Next.js-style DX · hn · 2025-12-02 · 5 upvotes · similarity 0.44
- Sofka · hn · 2026-08-19 · 5 upvotes · similarity 0.43
- lsm-engine · github · 2026-09-12 · 16 upvotes · similarity 0.43
- laya-rs · github · 2026-09-23 · 9 upvotes · similarity 0.43
- LocalGPT · hn · 2026-02-08 · 331 upvotes · similarity 0.42
- Shrouded, secure memory management in Rust · hn · 2026-03-23 · 5 upvotes · similarity 0.42
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.