GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ multiparty-session-types
Top 1 multiparty-session-types open source projects
nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
✭ 16
ocaml
Raku
perl
shell
HTML
Dockerfile
concurrency
protocol-specification
multiparty-session-types
1-1
of
1
multiparty-session-types projects