rustio rustio.net
42

assura

v0.3.0 Experimental

Contract-first AI-native language. Write what it should do. AI proves it does.

MIT OR Apache-2.0 Edition 2024
Development toolsCompilers #compiler#smt#verification#formal-methods#contracts

Quick Verdict

  • โœ“Actively maintained (updated 6d ago)
  • !Pre-1.0: API may have breaking changes
  • !Heavy dependency tree (24 direct deps)
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
57
Dependents
0
Releases
3
Size
111KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

45 downloads in the last 30 days (2/day), up 275% from the previous period.

๐Ÿ“ฆ
Heavy dependency tree

24 direct dependencies. Consider the impact on compile times and supply chain complexity.

Health Breakdown

Maintenance 14/25

Recency, release consistency, active ratio

Quality 10/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

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

Version Adoption

v0.2.0
39%
v0.3.0
37%
v0.0.1
25%

Release Timeline

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

README

Loading README...

Maintainers

Dependencies
24
direct dependencies
Dependents
0
crates depend on assura

Similar Crates