Decision Workspace
causlane-formal vs causlane-core vs causlane-runtime
Side-by-side comparison of Rust crates
47
causlane-formal
experimentalv0.0.1
Formal-toolchain readiness checks (formal doctor) for causlane.
48
causlane-core
experimentalv0.0.1
Pure semantic dispatch kernel for causlane.
48
causlane-runtime
experimentalv0.0.1
Runtime composition shell and adapters for causlane.
Core Metrics
| causlane-formal | causlane-core | causlane-runtime | |
|---|---|---|---|
| Health Score | 47 | 48 | 48 |
| Total Downloads | 22 | 51 | 21 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 1 | 5 | 1 |
| Releases | 1 | 1 | 1 |
| Last Updated | 17d ago | 17d ago | 16d ago |
| Age | 17d | 17d | 16d |
Health Breakdown
causlane-formal
Maintenance
12
Quality
14
Community
7
Popularity
2
Documentation
12
causlane-core
Maintenance
12
Quality
14
Community
8
Popularity
2
Documentation
12
causlane-runtime
Maintenance
12
Quality
15
Community
7
Popularity
2
Documentation
12
Technical Details
| causlane-formal | causlane-core | causlane-runtime | |
|---|---|---|---|
| Version | 0.0.1 | 0.0.1 | 0.0.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 3 | 1 | 12 |
| Crate Size | 10KB | 96KB | 72KB |
| Features | 0 | 0 | 7 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.82 | 1.82 | 1.85 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •causlane-core leads with a health score of 48/100, but none of the options score above 80.