rustio rustio.net
41

dedukti-parse

v0.3.1 Growing

Parser for the Dedukti file format

GPL-3.0-only Edition 2021
Parser implementationsNo standard library #rewriting#dependent-types#dedukti

Quick Verdict

  • Not updated for 3+ years
  • !Pre-1.0: API may have breaking changes
  • Tiny footprint (35KB, 1 deps)

Security

Checking security advisories...
Downloads
7.4K
Dependents
3
Releases
4
Size
35KB

Deep Insights

📈
Strong growth momentum

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

🔬
Pre-1.0 for over a year

Despite being 4+ years old, dedukti-parse 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 34KB, dedukti-parse is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 3/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 8/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days
2/day avg-8%
024681012/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on dedukti-parse

Version Adoption

v0.3.1
46%
v0.2.0
19%
v0.1.0
18%
v0.3.0
17%

Release Timeline

4 releasessince 2021
J
F
M
A
M
J
J
A
S
O
N
D
2021
2
2022
2
2023
2024
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
1
direct dependencies
Dependents
3
crates depend on dedukti-parse

Similar Crates