Choreographic Programming in Rust

Choreography-Derived Runtime Enforcement for Rust. Contribute to hibanaworks/hibana development by creating an account on GitHub.