Decision Workspace
ruvix-proof vs ruvix-types vs ruvix-cap
Side-by-side comparison of Rust crates
47
ruvix-proof
experimentalv0.1.0
Proof engine with 3-tier routing for the RuVix Cognition Kernel (ADR-087)
52
ruvix-types
experimentalv0.1.0
No-std kernel interface types for the RuVix Cognition Kernel (ADR-087)
51
ruvix-cap
experimentalv0.1.0
seL4-inspired capability management for the RuVix Cognition Kernel (ADR-087)
Core Metrics
| ruvix-proof | ruvix-types | ruvix-cap | |
|---|---|---|---|
| Health Score | 47 | 52 | 51 |
| Total Downloads | 14 | 92 | 40 |
| 30d Downloads | 14 | 92 | 40 |
| Dependents | 0 | 21 | 4 |
| Releases | 1 | 1 | 1 |
| Last Updated | 13d ago | 13d ago | 13d ago |
| Age | 13d | 13d | 13d |
Health Breakdown
ruvix-proof
Maintenance
12
Quality
16
Community
6
Popularity
1
Documentation
12
ruvix-types
Maintenance
12
Quality
16
Community
10
Popularity
2
Documentation
12
ruvix-cap
Maintenance
12
Quality
17
Community
8
Popularity
2
Documentation
12
Technical Details
| ruvix-proof | ruvix-types | ruvix-cap | |
|---|---|---|---|
| Version | 0.1.0 | 0.1.0 | 0.1.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 4 | 2 | 3 |
| Crate Size | 29KB | 40KB | 40KB |
| Features | 6 | 3 | 5 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.75 | 1.75 | 1.75 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •ruvix-types leads with a health score of 52/100, but none of the options score above 80.