Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / NicolasLagaillardie / mpst_rust_github

A library for deadlock-free multiparty session-typed communication in Rust.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/NicolasLagaillardie%2Fmpst_rust_github

Stars: 26
Forks: 3
Open Issues: 10

License: apache-2.0
Language: Rust
Repo Size: 13.5 MB
Dependencies: 25

Created: over 4 years ago
Updated: about 1 month ago
Last pushed: about 2 months ago
Last synced: about 1 month ago

Commit Stats

Commits: 936
Authors: 5
Mean commits per author: 187.2
Development Distribution Score: 0.105
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/NicolasLagaillardie/mpst_rust_github

Topics: affine-session-types, multiparty-session-types, rust, session-types

Files
    Loading...
    Readme
    Loading...
    Dependencies
    Cargo.toml cargo
    mpst_seq_proc/Cargo.toml cargo
    .github/workflows/audit.yml actions
    .github/workflows/codecov.yml actions
    .github/workflows/mac.yml actions
    .github/workflows/shiftleft-analysis.yml actions
    .github/workflows/ubuntu.yml actions
    .github/workflows/windows.yml actions