Category
Primary
programming-languages · embed-ft 0.78
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
AI readiness
Compliance (GEO / GDPR)
TLD
Overview
Title
Hibana — Session-Typed Choreographic Programming for Rust
Description
Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST. Published on crates.io as hibana 0.9.1.
Final URL
Language
en (html)
Scanned at
2026-06-22 22:36:05