Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / nuscr / nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nuscr%2Fnuscr
Stars: 23
Forks: 9
Open Issues: 9
License: gpl-3.0
Language: OCaml
Repo Size: 2.23 MB
Dependencies:
0
Created: over 4 years ago
Updated: 9 months ago
Last pushed: 9 months ago
Last synced: 9 months ago
Topics: concurrency, multiparty-session-types, protocol-specification
Files
No dependencies found