bromind / nuscr Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nuscr/nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
Home Page: https://nuscr.dev
License: GNU General Public License v3.0