rustio rustio.net
55

logicaffeine-compile

v0.10.1 Experimental

LOGOS compilation pipeline - codegen and interpreter

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
  • !Heavy dependency tree (30 direct deps)

Security

Checking security advisories...
Downloads
950
Dependents
82
Releases
40
Size
1.8MB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

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

๐Ÿ“ฆ
Heavy dependency tree

30 direct dependencies. Consider the impact on compile times and supply chain complexity.

๐ŸŒŸ
Used by top crates

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

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 11/25

Yanked ratio, deps, size, maturity, features

Community 11/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/275/156/26/207/87/25

Top Dependents

Version Adoption

v0.9.16
46%
v0.10.1
16%
v0.9.8
14%
v0.10.0
13%
v0.9.10
11%

Release Timeline

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

Feature Flags

default =["codegen"]

codegen*wasm-jitnarrow-valueverificationinterpreter-only

README

Loading README...

Maintainers

Dependencies
30
direct dependencies
Dependents
82
crates depend on logicaffeine-compile

Similar Crates