rustio rustio.net
50

logicaffeine-language

v0.9.8 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 8d ago)
  • !Pre-1.0: API may have breaking changes

Security

Checking security advisories...
Downloads
637
Dependents
91
Releases
31
Size
272KB

Deep Insights

๐Ÿ“‰
Download decline

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

๐ŸŒŸ
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 12/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 11/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
7/day avg+362%
02040608010012/301/172/42/223/123/29

Top Dependents

Version Adoption

v0.6.0
22%
v0.8.19
21%
v0.9.3
21%
v0.9.2
21%
v0.8.3
15%

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
6
direct dependencies
Dependents
91
crates depend on logicaffeine-language

Similar Crates