rustio rustio.net
56

aristo-core

v0.5.1 Experimental

Aristo SDK core: shared types, .aristo/index.toml schema, B5b verification, language registry.

MIT Edition 2021 MSRV 1.88
Development toolsParsing 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)
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
754
Dependents
17
Releases
17
Size
216KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

580 downloads in the last 30 days (19/day), up 219% from the previous period.

๐Ÿ‘ฅ
Team maintained

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

Health Breakdown

Maintenance 13/25

Recency, release consistency, active ratio

Quality 11/25

Yanked ratio, deps, size, maturity, features

Community 14/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 15/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg
04/265/146/16/197/77/24

Top Dependents

Most downloaded crates that depend on aristo-core

Version Adoption

v0.5.1
47%
v0.5.0
32%
v0.3.1
7%
v0.2.9
7%
v0.4.1
6%

Release Timeline

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

README

Loading README...

Maintainers

Dependencies
15
direct dependencies
Dependents
17
crates depend on aristo-core

Similar Crates