Geeks
lsd-ucsc
/
ChoRus
🎶 Choreographic programming in Rust 🎶
Primary Language
Rust
MIT License
MIT
ChoRus Home Page
ChoRus GitHub
Markdown
Readme
5
Issues
39
Stargazers
7
Watchers
Watchers
arquinn
ihaveint
lkuper
UC Santa Cruz
palvaro
UC Santa Cruz
romac
@informalsystems
ryanflanigan
shumbo
@ucsd