Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : mpstthree
A library implementing Multiparty Session Types for 2 or more participants
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/mpstthree
Keywords: session, timed, multiparty, affine, multicrusty, affine-session-types, multiparty-session-types, rust, session-types
License: MIT,Apache-2.0
Latest release: about 1 month ago
First release: about 4 years ago
Dependent repositories: 2
Downloads: 7,146 total
Stars: 26 on GitHub
Forks: 3 on GitHub
Total Commits: 936
Committers: 5
Average commits per author: 187.2
Development Distribution Score (DDS): 0.105
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
mpst-seq 0.1.18
DEPRECIATED: A library with macro for mpstthree14 versions - Latest release: about 1 month ago - 1 dependent package - 2 dependent repositories - 5.4 thousand downloads total - 26 stars on GitHub - 1 maintainer
mpst-seq-proc 0.1.14
A library with macro for mpstthree13 versions - Latest release: about 1 month ago - 2 dependent packages - 5.61 thousand downloads total - 26 stars on GitHub - 1 maintainer