rustio rustio.net

formally-cli vs smtkit vs formally

Side-by-side comparison of Rust crates

Core Metrics

formally-clismtkitformally
Health Score364744
Total Downloads2162817
30d Downloads31726
Dependents001
Releases123
Last Updated98d ago19d ago97d ago
Age3m1m1y

Health Breakdown

formally-cli
Maintenance
8
Quality
14
Community
4
Popularity
2
Documentation
8
smtkit
Maintenance
13
Quality
16
Community
3
Popularity
2
Documentation
13
formally
Maintenance
12
Quality
16
Community
5
Popularity
3
Documentation
8

Technical Details

formally-clismtkitformally
Version0.2025.120.1.10.2025.121
Stable (≥1.0)✗ No✗ No✗ No
Licensenon-standardMIT OR Apache-2.0non-standard
Dependencies255
Crate Size9KB24KB12KB
Features063
Yanked %0.0%0.0%0.0%
Edition202420212024
MSRV
Owners111

Quick Verdict

  • smtkit leads with a health score of 47/100, but none of the options score above 80.
  • formally has the most downloads (817), suggesting wider adoption.