rustio rustio.net
37

pocket_prover-derive

v0.9.0 Growing

Derive procedural macros for `pocket_prover`.

MIT
#logic#solver#prover#first-order

Quick Verdict

  • โœ•Not updated for 1+ year
  • !Pre-1.0: API may have breaking changes
  • โœ“Tiny footprint (3KB, 3 deps)
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
12.2K
Dependents
4
Releases
9
Size
3KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

30 downloads in the last 30 days (1/day), up 25% from the previous period.

๐Ÿ‘ค
Prolific maintainer

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

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 8+ years old, pocket_prover-derive hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿชถ
Minimal dependencies

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

๐Ÿ“
Compact crate

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

โš ๏ธ
Notable yanked versions

11% of releases have been yanked. Check version history before pinning.

Health Breakdown

Maintenance 5/25

Recency, release consistency, active ratio

Quality 11/25

Yanked ratio, deps, size, maturity, features

Community 5/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 11/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg+21%
024681012/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on pocket_prover-derive

Version Adoption

v0.8.0
26%
v0.1.0
19%
v0.4.0
19%
v0.2.0
18%
v0.5.0
17%

Release Timeline

9 releases1 yankedsince 2018
J
F
M
A
M
J
J
A
S
O
N
D
2018
1
2019
1
2020
3
2021
1
2022
2
2023
2024
1
2025
2026
Less
More|
Yanked

README

Loading README...

Maintainers

Dependencies
3
direct dependencies
Dependents
4
crates depend on pocket_prover-derive

Similar Crates