rustio rustio.net
48

der-verified

v0.1.0 Experimental

Formally verified DER (X.690) encoding/decoding — encoding layer only.

MIT OR Apache-2.0 Edition 2021 MSRV 1.70
EncodingParser implementations #asn1#der#x509#formal-verification#kani

Quick Verdict

  • Actively maintained (updated 0d ago)
  • !Pre-1.0: API may have breaking changes
  • Tiny footprint (119KB, 0 deps)
  • Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
20
Dependents
0
Releases
2
Size
119KB

Deep Insights

📊
Download activity

20 downloads in the last 30 days (1/day avg).

🪶
Zero dependencies

der-verified has no external dependencies — minimal supply chain risk and fast compile times.

Health Breakdown

Maintenance 14/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days
0/day avg
04/275/156/26/207/87/25

Version Adoption

v0.0.0
50%
v0.1.0
50%

Release Timeline

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

README

Loading README...

Maintainers

Dependencies
0
direct dependencies
Dependents
0
crates depend on der-verified

Similar Crates