Top 6.7% downloads on crates.io
Top 5.2% dependent repos on crates.io
Top 8.8% forks on crates.io
crates.io : stateright
A model checker for implementing distributed systems.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/stateright
Keywords:
actor
, simulation
, paxos
, raft
, model-checking
, actor-model
, distributed-systems
, model-checker
License: MIT
Latest release: about 9 hours ago
First release: about 7 years ago
Dependent packages: 2
Dependent repositories: 29
Downloads: 8,621,602 total
Stars: 1,677 on GitHub
Forks: 60 on GitHub
Total Commits: 401
Committers: 8
Average commits per author: 50.125
Development Distribution Score (DDS): 0.137
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 9 hours ago