rustio rustio.net
57

logicaffeine-language

v0.10.1 Experimental

Natural language to first-order logic pipeline

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

Quick Verdict

  • โœ“Actively maintained (updated 2d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Trusted by 118 crates

Security

Checking security advisories...
Downloads
1.1K
Dependents
118
Releases
40
Size
545KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

185 downloads in the last 30 days (6/day), up 340% from the previous period.

๐Ÿ”—
Moderate adoption

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

๐ŸŒŸ
Used by top crates

Notable dependents include logicaffeine-compile, logicaffeine-cli, logicaffeine-lsp. When high-quality crates choose logicaffeine-language, it's a strong quality signal.

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 12/25

Yanked ratio, deps, size, maturity, features

Community 12/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
0/day avg
04/265/146/16/197/77/24

Top Dependents

Version Adoption

v0.9.16
53%
v0.10.1
13%
v0.9.8
13%
v0.10.0
11%
v0.9.9
10%

Release Timeline

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

Feature Flags

dynamic-lexicon

README

Loading README...

Maintainers

Dependencies
8
direct dependencies
Dependents
118
crates depend on logicaffeine-language

Similar Crates