Decision Workspace
logicaffeine-verify vs logicaffeine-kernel vs logicaffeine-base
Side-by-side comparison of Rust crates
55
logicaffeine-verify
experimentalv0.10.1
Z3-based static verification for Logicaffeine (requires Pro+ license)
59
logicaffeine-kernel
experimentalv0.10.1
Pure Calculus of Constructions type theory - NO LEXICON
58
logicaffeine-base
experimentalv0.10.1
Tier-0 foundation for logicaffeine: arena, interner, spans, the exact numeric/quantity/money/time/UUID value-type tower, and the shared MD5/SHA-1 hash oracle
Core Metrics
| logicaffeine-verify | logicaffeine-kernel | logicaffeine-base | |
|---|---|---|---|
| Health Score | 55 | 59 | 58 |
| Total Downloads | 204 | 1.3K | 1.7K |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 18 | 120 | 362 |
| Releases | 7 | 41 | 41 |
| Last Updated | 2d ago | 2d ago | 2d ago |
| Age | 3m | 5m | 5m |
Health Breakdown
logicaffeine-verify
Maintenance
19
Quality
14
Community
9
Popularity
3
Documentation
10
logicaffeine-kernel
Maintenance
19
Quality
14
Community
12
Popularity
4
Documentation
10
logicaffeine-base
Maintenance
19
Quality
12
Community
13
Popularity
4
Documentation
10
Technical Details
| logicaffeine-verify | logicaffeine-kernel | logicaffeine-base | |
|---|---|---|---|
| Version | 0.10.1 | 0.10.1 | 0.10.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | BUSL-1.1 | BUSL-1.1 | BUSL-1.1 |
| Dependencies | 6 | 3 | 4 |
| Crate Size | 76KB | 287KB | 181KB |
| Features | 1 | 1 | 0 |
| 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
- •logicaffeine-kernel leads with a health score of 59/100, but none of the options score above 80.
- •logicaffeine-base has the most downloads (1.7K), suggesting wider adoption.
- •logicaffeine-base is depended on by 362 crates — strongest ecosystem trust.