Decision Workspace
logicaffeine-compile vs logicaffeine-kernel vs logicaffeine-base
Side-by-side comparison of Rust crates
55
logicaffeine-compile
experimentalv0.10.1
LOGOS compilation pipeline - codegen and interpreter
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-compile | logicaffeine-kernel | logicaffeine-base | |
|---|---|---|---|
| Health Score | 55 | 59 | 58 |
| Total Downloads | 950 | 1.3K | 1.7K |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 82 | 120 | 362 |
| Releases | 40 | 41 | 41 |
| Last Updated | 2d ago | 2d ago | 2d ago |
| Age | 5m | 5m | 5m |
Health Breakdown
logicaffeine-compile
Maintenance
19
Quality
11
Community
11
Popularity
4
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-compile | 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 | 30 | 3 | 4 |
| Crate Size | 1.8MB | 287KB | 181KB |
| Features | 6 | 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.