logicaffeine-kernel
v0.9.16 ExperimentalPure Calculus of Constructions type theory - NO LEXICON
Quick Verdict
- ✓Actively maintained (updated 49d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 114 crates
- ✓Tiny footprint (107KB, 1 deps)
Security
Deep Insights
87 downloads in the last 30 days, down 62% from the previous period. May indicate migration to alternatives.
114 crates depend on logicaffeine-kernel. Reasonable ecosystem adoption, though not yet a core dependency.
Only 1 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
Notable dependents include logicaffeine-proof, logicaffeine-compile, logicaffeine-cli. When high-quality crates choose logicaffeine-kernel, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on logicaffeine-kernel
