ChoRus
Choreographic Programming in Rust
Please see the
ChoRus Book
on how to use ChoRus.