stateright
v0.31.0 GrowingA model checker for implementing distributed systems.
Quick Verdict
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 144 crates
- ✓Permissive license (MIT)
Security
Deep Insights
9.6K downloads in the last 30 days (321/day), up 36% from the previous period.
144 crates depend on stateright. Reasonable ecosystem adoption, though not yet a core dependency.
Despite being 7+ 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 concorde, raft-lite, ouija, maw-assurance, iroh-gossip-rendezvous. 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
Download Trend
Top Dependents
Most downloaded crates that depend on stateright
