🎶 Choreographic programming in Rust 🎶
Stars
70
Forks
5
Watchers
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
148
commits
52
14
1
Merge pull request #33 from lsd-ucsc/reorganize-example-with-test
8c6e037
update CI workflow to use args for example tests
ccdea93
tweak playground
eb8c3fb
run examples test on ci
4f7d4b4
fix missing import
6a20d4a
make kvs work
4f36a8c
move kvs to examples
f8e5aa5
v0.5.0
0b3387e
Merge pull request #32 from lsd-ucsc/conclave
0bb5fd9
update page actions
bef6103
add playground
a1296f4
`enclave` -> `conclave`
5203954
Merge pull request #31 from daddinuz/main
4cfc0dc
add mergesort example
c4400b2
fix Cargo.toml
bd083fe