Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "verifier" keyword
as3_verifier 0.1.0
ActionScript 3 verifier1 version - Latest release: 6 months ago - 317 downloads total - 6 stars on GitHub - 1 maintainer
pkce 0.2.0
Library for generating PKCE code verifiers and challenges3 versions - Latest release: about 1 year ago - 6 dependent packages - 5 dependent repositories - 15.5 thousand downloads total - 5 stars on GitHub - 1 maintainer
metamath-rs 0.3.8
A library manipulating Metamath databases, including a parallel and incremental verifier for Meta...1 version - Latest release: about 1 month ago - 225 downloads total - 24 stars on GitHub - 1 maintainer
winterfell 0.9.0
Winterfell STARK prover and verifier20 versions - Latest release: 13 days ago - 1 dependent package - 18 dependent repositories - 10.6 thousand downloads total - 719 stars on GitHub - 3 maintainers
arkworks-solidity-verifier 0.1.0
Solidity SNARK verifier generator for Arkwork's proof systems.1 version - Latest release: about 1 year ago - 1 dependent repositories - 395 downloads total - 5 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
10 versions - Latest release: about 2 months ago - 4 dependent packages - 34 dependent repositories - 40.5 thousand downloads total - 584 stars on GitHub - 1 maintainer
miden-verifier 0.9.1
Miden VM execution verifier10 versions - Latest release: about 2 months ago - 4 dependent packages - 34 dependent repositories - 40.5 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
18 versions - Latest release: 13 days ago - 2 dependent packages - 36 dependent repositories - 104 thousand downloads total - 719 stars on GitHub - 3 maintainers
winter-verifier 0.9.0
Winterfell STARK verifier18 versions - Latest release: 13 days ago - 2 dependent packages - 36 dependent repositories - 104 thousand downloads total - 719 stars on GitHub - 3 maintainers