Choreographic Programming in Rust(github.com)
47 points by o8vm | 35 comments
GitHub repository for hibana, a Rust library providing choreography-derived runtime enforcement for distributed protocols.
#session-types on Hacker News
1 story tagged session-types, newest first.