stateright
v0.31.0 GrowingA model checker for implementing distributed systems.
Quick Verdict
- !Pre-1.0: API may have breaking changes
- โTrusted by 179 crates
- โPermissive license (MIT)
Security
Deep Insights
96.9K downloads in the last 30 days (3.2K/day), up 407% from the previous period.
179 crates depend on stateright. Reasonable ecosystem adoption, though not yet a core dependency.
Despite being 8+ years old, stateright hasn't reached 1.0 yet. Expect potential API changes between versions.
15% of releases have been yanked. Check version history before pinning.
Notable dependents include rings-core, concorde, raft-lite, ouija, crabka-client-consumer. When high-quality crates choose stateright, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata