rustio rustio.net
52

assura-ast

v0.3.0 Experimental

Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR

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
  • โœ“Tiny footprint (21KB, 0 deps)
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
1.2K
Dependents
9
Releases
3
Size
21KB

Deep Insights

๐Ÿ“Š
Download activity

1.2K downloads in the last 30 days (40/day avg).

๐Ÿชถ
Zero dependencies

assura-ast has no external dependencies โ€” minimal supply chain risk and fast compile times.

๐Ÿ“
Compact crate

At 20KB, assura-ast is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include assura-parser, assura-codegen, assura-smt. When high-quality crates choose assura-ast, it's a strong quality signal.

Health Breakdown

Maintenance 14/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 9/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

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

Top Dependents

Version Adoption

v0.3.0
85%
v0.2.0
9%
v0.1.0
6%

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
0
direct dependencies
Dependents
9
crates depend on assura-ast

Similar Crates