rustio rustio.net
61

cvlr-nondet

v0.6.1 Growing

Non-deterministic (i.e., symbolic) values

MIT Edition 2021
Development tools::TestingDevelopment tools::DebuggingNo standard library #assert#logic#verification#formal-methods#certora

Quick Verdict

  • โœ“Actively maintained (updated 58d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Tiny footprint (3KB, 1 deps)
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
22.6K
Dependents
33
Releases
6
Size
3KB

Deep Insights

๐Ÿ“‰
Download decline

2.4K downloads in the last 30 days, down 23% from the previous period. May indicate migration to alternatives.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 1+ years old, cvlr-nondet hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿชถ
Minimal dependencies

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

๐Ÿ“
Compact crate

At 3KB, cvlr-nondet is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include cvlr-mathint, cvlr, cvlr-solana, cvlr-vectors, cvlr-fixed. When high-quality crates choose cvlr-nondet, it's a strong quality signal.

Health Breakdown

Maintenance 16/25

Recency, release consistency, active ratio

Quality 17/25

Yanked ratio, deps, size, maturity, features

Community 10/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 13/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
87/day avg+9%
0501001502002/263/164/34/215/95/26

Top Dependents

Version Adoption

v0.4.1
35%
v0.4.0
28%
v0.4.2
24%
v0.5.0
7%
v0.6.1
5%

Release Timeline

6 releasessince 2025
J
F
M
A
M
J
J
A
S
O
N
D
2025
4
2026
2
Less
More

Feature Flags

default =["std"]

rtstd*

README

Loading README...

Maintainers

Dependencies
1
direct dependencies
Dependents
33
crates depend on cvlr-nondet

Similar Crates