GitPlanet
All Git Users → nuscr

1 open source projects by nuscr

[ Open user page on Github ]
1. nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
✭ 16
ocamlRakuperlshellHTMLDockerfileconcurrencyprotocol-specificationmultiparty-session-types
1-1 of 1 user projects