rustio rustio.net

Decision Workspace

logicaffeine-kernel

Side-by-side comparison of Rust crates

55
logicaffeine-kernel
experimentalv0.9.16

Pure Calculus of Constructions type theory - NO LEXICON

Core Metrics

logicaffeine-kernel
Health Score55
Total Downloads1.1K
30d Downloads0
Dependents114
Releases39
Last Updated49d ago
Age4m

Health Breakdown

logicaffeine-kernel
Maintenance
16
Quality
13
Community
12
Popularity
4
Documentation
10

Technical Details

logicaffeine-kernel
Version0.9.16
Stable (≥1.0)✗ No
LicenseBUSL-1.1
Dependencies1
Crate Size107KB
Features0
Yanked %0.0%
Edition2021
MSRV1.75
Owners1

Links

logicaffeine-kernel detail →GitHub ↗crates.io ↗

Quick Verdict

  • •logicaffeine-kernel leads with a health score of 55/100, but none of the options score above 80.
  • •logicaffeine-kernel is depended on by 114 crates — strongest ecosystem trust.