Decision Workspace
decy-verify vs decy-stdlib vs decy-agent
Side-by-side comparison of Rust crates
61
decy-verify
growingv2.2.0
Safety property verification for transpiled Rust code
65
decy-stdlib
growingv2.2.0
C standard library prototypes for the Decy C-to-Rust transpiler
64
decy-agent
growingv2.2.0
Background daemon for incremental transpilation and watching
Core Metrics
| decy-verify | decy-stdlib | decy-agent | |
|---|---|---|---|
| Health Score | 61 | 65 | 64 |
| Total Downloads | 1.4K | 1.1K | 860 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 12 | 4 | 8 |
| Releases | 7 | 4 | 6 |
| Last Updated | 56d ago | 56d ago | 56d ago |
| Age | 7m | 6m | 6m |
Health Breakdown
decy-verify
Maintenance
19
Quality
16
Community
9
Popularity
4
Documentation
13
decy-stdlib
Maintenance
21
Quality
19
Community
8
Popularity
4
Documentation
13
decy-agent
Maintenance
19
Quality
19
Community
9
Popularity
4
Documentation
13
Technical Details
| decy-verify | decy-stdlib | decy-agent | |
|---|---|---|---|
| Version | 2.2.0 | 2.2.0 | 2.2.0 |
| Stable (≥1.0) | ✓ Yes | ✓ Yes | ✓ Yes |
| License | MIT OR Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 10 | 0 | 0 |
| Crate Size | 43KB | 44KB | 17KB |
| Features | 0 | 0 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •decy-stdlib leads with a health score of 65/100, but none of the options score above 80.
- •decy-verify has the most downloads (1.4K), suggesting wider adoption.