rustio rustio.net
64

aristo

v0.5.1 Experimental

Aristo SDK — annotation macros and verification (meta-crate).

MIT Edition 2021 MSRV 1.88
Development tools::TestingDevelopment tools #sdk#verification#annotation#proof#intent

Quick Verdict

  • Actively maintained (updated 9d ago)
  • !Pre-1.0: API may have breaking changes
  • Team maintained (2 owners)
  • Tiny footprint (10KB, 1 deps)
  • Permissive license (MIT)

Security

Checking security advisories...
Downloads
35.7K
Dependents
40
Releases
17
Size
10KB

Deep Insights

📈
Strong growth momentum

35.5K downloads in the last 30 days (1.2K/day), up 8467% from the previous period.

👥
Team maintained

This crate is maintained by a team (2 owners), reducing bus-factor risk and ensuring continuity.

🪶
Minimal dependencies

Only 1 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

📐
Compact crate

At 9KB, aristo is lightweight. Small crate size correlates with focused, well-scoped functionality.

🌟
Used by top crates

Notable dependents include turso_core, aristo-core, aristo-cli. When high-quality crates choose aristo, it's a strong quality signal.

Health Breakdown

Maintenance 13/25

Recency, release consistency, active ratio

Quality 16/25

Yanked ratio, deps, size, maturity, features

Community 15/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 15/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days
399/day avg
02K4K6K4/265/146/16/197/77/24

Top Dependents

Version Adoption

v0.4.0
86%
v0.4.1
11%
v0.2.9
1%
v0.3.0
1%
v0.5.1
1%

Release Timeline

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

Feature Flags

default =["aristo_check"]

aristo_docaristo_check*aristo_instrument

README

Loading README...

Maintainers

Dependencies
1
direct dependencies
Dependents
40
crates depend on aristo

Similar Crates