rustio rustio.net
48

logicaffeine-system

v0.9.8 Experimental

Platform IO and system services for LOGOS

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

Security

Checking security advisories...
Downloads
635
Dependents
31
Releases
31
Size
86KB

Deep Insights

๐Ÿ“‰
Download decline

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

๐Ÿ“ฆ
Heavy dependency tree

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

Health Breakdown

Maintenance 12/25

Recency, release consistency, active ratio

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

Top Dependents

Most downloaded crates that depend on logicaffeine-system

Version Adoption

v0.6.0
22%
v0.8.19
21%
v0.9.2
21%
v0.9.3
20%
v0.8.3
16%

Release Timeline

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

Feature Flags

fullio-uringnetworkingconcurrencydistributedpersistence

README

Loading README...

Maintainers

Dependencies
26
direct dependencies
Dependents
31
crates depend on logicaffeine-system

Similar Crates