2
15
Choreographic Programming in Rust (github.com/hibanaworks)
1
Hibana-QUIC: QUIC in Rust using choreographic programming, no_std and no_alloc (github.com/hibanaworks)
1
Hibana: Protocol Choreography for Rust (crates.io)
1
Show HN: Hibana – Define a protocol once, get type-checked Rust endpoints (crates.io)
3
Show HN: AI agent framework where dangerous actions are structurally unreachable (github.com/hibanaworks)
6
Show HN: Hibana – choreography-first protocol safety for Rust (hibanaworks.dev)
2
Protocol Validation with Affine MPST in Rust (hibanaworks.dev)
3
Show HN: Hibana – An Affine MPST Runtime for Rust (hibanaworks.dev)
6
Writing a Unix-Like OS in Rust (vmm.dev)
66