Choreographic Programming in Rust
Please see the ChoRus website and API document for more information.
lsd-ucsc/ChoRus
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Choreographic Programming in Rust
Please see the ChoRus website and API document for more information.