Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "prover" keyword

cop 0.2.0
Highly efficient first-order connection proving
2 versions - Latest release: 8 months ago - 1 dependent package - 1.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
meancop 0.2.0
More efficient, albeit non-lean connection prover
2 versions - Latest release: 8 months ago - 742 downloads total - 7 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
winter-prover 0.9.0
Winterfell STARK prover
19 versions - Latest release: 13 days ago - 6 dependent packages - 36 dependent repositories - 107 thousand downloads total - 719 stars on GitHub - 3 maintainers
winterfell 0.9.0
Winterfell STARK prover and verifier
20 versions - Latest release: 13 days ago - 1 dependent package - 18 dependent repositories - 10.6 thousand downloads total - 719 stars on GitHub - 3 maintainers
Top 7.8% on crates.io
miden-prover 0.9.1
Miden VM prover
9 versions - Latest release: about 2 months ago - 3 dependent packages - 34 dependent repositories - 40.6 thousand downloads total - 584 stars on GitHub - 1 maintainer
pocket_prover-set 0.5.0 💰
A base logical system for PocketProver to reason about set properties
6 versions - Latest release: over 1 year ago - 3 thousand downloads total - 1 stars on GitHub - 1 maintainer
pocket_prover 0.17.0 💰
A fast, brute force, automatic theorem prover for first order logic
27 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 12.2 thousand downloads total - 35 stars on GitHub - 1 maintainer
pocket_prover-derive 0.8.0 💰
Derive procedural macros for `pocket_prover`.
8 versions - Latest release: over 1 year ago - 1 dependent package - 3.72 thousand downloads total - 35 stars on GitHub - 1 maintainer
Related Keywords
logic 5 first-order 5 stark 3 zkp 3 solver 3 crypto 2 verifier 1 miden 1 cryptography 1 virtual-machine 1 zero-knowledge 1