rustio rustio.net
57

amari-flynn

v0.23.0 Experimental

Probabilistic contracts and verification - named after Kevin Flynn's acceptance of spontaneous perfection

MIT OR Apache-2.0 Edition 2021 MSRV 1.75
Development toolsScienceMathematics #statistics#probability#verification#formal-methods#contracts

Quick Verdict

  • โœ“Actively maintained (updated 51d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
1.2K
Dependents
25
Releases
21
Size
26KB

Deep Insights

๐Ÿ“‰
Download decline

183 downloads in the last 30 days, down 20% from the previous period. May indicate migration to alternatives.

๐Ÿ‘ค
Prolific maintainer

The primary maintainer publishes 51 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

๐Ÿ“
Compact crate

At 25KB, amari-flynn is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include amari, karpal-verify, cliffy-test. When high-quality crates choose amari-flynn, it's a strong quality signal.

Health Breakdown

Maintenance 16/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 10/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
0/day avg
04/265/146/16/197/77/24

Top Dependents

Most downloaded crates that depend on amari-flynn

Version Adoption

v0.19.1
29%
v0.23.0
25%
v0.19.0
19%
v0.22.0
16%
v0.18.1
11%

Release Timeline

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

Feature Flags

default =["std"]

std*

README

Loading README...

Maintainers

Dependencies
6
direct dependencies
Dependents
25
crates depend on amari-flynn

Similar Crates