model
v0.1.2 Growingmodel-based testing for data structures, with linearizability checking
Quick Verdict
- โNot updated for 7+ years
- !Pre-1.0: API may have breaking changes
- โTiny footprint (4KB, 2 deps)
- โPermissive license (MIT/Apache-2.0)
Security
Deep Insights
830 downloads in the last 30 days (28/day), up 52% from the previous period.
The primary maintainer publishes 70 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Despite being 7+ years old, model hasn't reached 1.0 yet. Expect potential API changes between versions.
Only 2 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
At 4KB, model is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include libipld, lurk-ipld, ipld-collections. When high-quality crates choose model, 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 model