BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

mago-algebra

v1.29.0crates.io· Rust

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

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
95 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0 OR MIT
Dependencies
No runtime dependencies
Recent releases
  • 1.29.0this month
  • 1.28.0this month
  • 1.27.1this month
  • 1.27.0this month
  • 1.26.0this month
  • 1.25.21 month ago
  • 1.25.11 month ago
  • 1.25.01 month ago
mago-algebra — The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses. (Rust / crates.io) — verdict, alternatives & security · Modules