rustio rustio.net
53

logicaffeine-base

v0.9.8 Experimental

Pure structural atoms for logicaffeine - arena, tokens, spans

BUSL-1.1 Edition 2021 MSRV 1.75
ScienceMathematicsCompilers #logic#formal-methods#first-order-logic#proof-assistant#theorem-prover

Quick Verdict

  • โœ“Actively maintained (updated 8d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Trusted by 277 crates
  • โœ“Tiny footprint (8KB, 1 deps)

Security

Checking security advisories...
Downloads
933
Dependents
277
Releases
31
Size
8KB

Deep Insights

๐Ÿ“‰
Download decline

368 downloads in the last 30 days, down 33% from the previous period. May indicate migration to alternatives.

๐Ÿ”—
Moderate adoption

277 crates depend on logicaffeine-base. Reasonable ecosystem adoption, though not yet a core dependency.

๐Ÿชถ
Minimal dependencies

Only 1 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

๐Ÿ“
Compact crate

At 8KB, logicaffeine-base is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include logicaffeine-kernel, logicaffeine-proof, logicaffeine-lexicon, logicaffeine-data, logicaffeine-language. When high-quality crates choose logicaffeine-base, it's a strong quality signal.

Health Breakdown

Maintenance 12/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 13/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
10/day avg+462%
05010015012/291/162/32/213/113/28

Top Dependents

Version Adoption

v0.6.0
26%
v0.9.2
23%
v0.8.19
21%
v0.9.3
18%
v0.8.3
12%

Release Timeline

31 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
31
Less
More

README

Loading README...

Maintainers

Dependencies
1
direct dependencies
Dependents
277
crates depend on logicaffeine-base

Similar Crates