rustio rustio.net
36

razor-chase

v0.1.0 Growing

razor-chase implements a variation of The Chase algorithm to find models for theories in geometric form.

MIT Edition 2018
Mathematics #logic#geometric#chase#razor#model-finder

Quick Verdict

  • โœ•Not updated for 6+ years
  • !Pre-1.0: API may have breaking changes
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
2.7K
Dependents
1
Releases
1
Size
31KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

25 downloads in the last 30 days (1/day), up 39% from the previous period.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 6+ years old, razor-chase hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿ“
Compact crate

At 30KB, razor-chase is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 1/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg+64%
012312/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on razor-chase

Version Adoption

v0.1.0
100%

Release Timeline

1 releasessince 2020
J
F
M
A
M
J
J
A
S
O
N
D
2020
1
2021
2022
2023
2024
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
8
direct dependencies
Dependents
1
crates depend on razor-chase

Similar Crates