Ecosyste.ms: Packages

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

Top 3.9% dependent packages on crates.io

crates.io : mv-prover

Move prover

Registry - Documentation - JSON
purl: pkg:cargo/mv-prover
License: Apache-2.0
Latest release: 27 days ago
First release: about 2 years ago
Dependent packages: 9
Dependent repositories: 1
Downloads: 15,191 total
Last synced: 27 days ago

Top 6.6% on crates.io
mv-stdlib
Diem stdlib
10 versions - Latest release: 24 days ago - 15 dependent packages - 1 dependent repositories - 14.4 thousand downloads total - 16,685 stars on GitHub - 1 maintainer
move-deps
Move dependencies
12 versions - Latest release: 24 days ago - 43 dependent packages - 14.8 thousand downloads total - 1 maintainer
mv-abigen
Move ABI generation
10 versions - Latest release: 26 days ago - 3 dependent packages - 3 dependent repositories - 18.1 thousand downloads total - 1 maintainer
spec-flatten
Formal specification flattening tool
8 versions - Latest release: 27 days ago - 2.2 thousand downloads total - 1 maintainer
prover-mutation
Move Prover mutation
8 versions - Latest release: 27 days ago - 2.25 thousand downloads total - 1 maintainer
prover-lab
Move Prover lab
8 versions - Latest release: 27 days ago - 2.18 thousand downloads total - 1 maintainer
mv-errmapgen
Move error map generator
10 versions - Latest release: about 2 months ago - 4 dependent packages - 1 dependent repositories - 16.2 thousand downloads total - 1 maintainer
mv-docgen
Move documentation generator
10 versions - Latest release: about 2 months ago - 4 dependent packages - 3 dependent repositories - 18.2 thousand downloads total - 1 maintainer
Top 7.4% on crates.io
mv-cli
CLI frontend for the Move compiler and VM
9 versions - Latest release: about 2 months ago - 5 dependent packages - 1 dependent repositories - 13.1 thousand downloads total - 16,680 stars on GitHub - 1 maintainer