rustio rustio.net
50

logicaffeine-lexicon

v0.9.8 Experimental

English vocabulary types and compile-time lexicon lookup for logicaffeine

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

Security

Checking security advisories...
Downloads
689
Dependents
31
Releases
31
Size
18KB

Deep Insights

๐Ÿ“‰
Download decline

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

๐Ÿ“
Compact crate

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

Health Breakdown

Maintenance 12/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 10/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
8/day avg+360%
02040608010012/301/172/42/223/123/29

Top Dependents

Most downloaded crates that depend on logicaffeine-lexicon

Version Adoption

v0.6.0
23%
v0.8.19
21%
v0.9.2
21%
v0.9.3
20%
v0.8.3
14%

Release Timeline

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

Feature Flags

dynamic-lexicon

README

Loading README...

Maintainers

Dependencies
4
direct dependencies
Dependents
31
crates depend on logicaffeine-lexicon

Similar Crates