rustio rustio.net
60

mago-algebra

v1.16.0 Growing

The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses.

MIT OR Apache-2.0 Edition 2024 MSRV 1.94.0

Quick Verdict

  • โœ“Actively maintained (updated 1d ago)
  • โœ“Trusted by 112 crates
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
14.5K
Dependents
112
Releases
90
Size
21KB

Deep Insights

๐Ÿ“Š
Stable downloads

428 downloads in the last 30 days (14/day). Volume is roughly flat compared to the previous period.

๐Ÿ”—
Moderate adoption

112 crates depend on mago-algebra. Reasonable ecosystem adoption, though not yet a core dependency.

๐Ÿ‘ค
Prolific maintainer

The primary maintainer publishes 55 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

๐Ÿ“
Compact crate

At 20KB, mago-algebra is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 17/25

Yanked ratio, deps, size, maturity, features

Community 7/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
15/day avg-19%
02040608012/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on mago-algebra

Version Adoption

v1.0.0-alpha.12
21%
v1.0.0-alpha.10
20%
v1.0.0-beta.14
20%
v1.0.0-alpha.3
20%
v1.0.0-alpha.2
20%

Release Timeline

90 releasessince 2025
J
F
M
A
M
J
J
A
S
O
N
D
2025
63
2026
27
Less
More

README

Loading README...

Maintainers

Dependencies
6
direct dependencies
Dependents
112
crates depend on mago-algebra