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: 142

Created: over 4 years ago
Updated: 8 months ago
Last pushed: 8 months ago
Last synced: 8 months ago

Topics: concurrency, multiparty-session-types, protocol-specification

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/docker.yml actions
    .github/workflows/main.yml actions
    .github/workflows/web-deploy.yml actions
    Dockerfile docker
    web/package.json npm
    web/yarn.lock npm