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
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
mv-stdlib
Diem stdlib10 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 dependencies12 versions - Latest release: 24 days ago - 43 dependent packages - 14.8 thousand downloads total - 1 maintainer
mv-abigen
Move ABI generation10 versions - Latest release: 26 days ago - 3 dependent packages - 3 dependent repositories - 18.1 thousand downloads total - 1 maintainer
spec-flatten
Formal specification flattening tool8 versions - Latest release: 27 days ago - 2.2 thousand downloads total - 1 maintainer
prover-mutation
Move Prover mutation8 versions - Latest release: 27 days ago - 2.25 thousand downloads total - 1 maintainer
prover-lab
Move Prover lab8 versions - Latest release: 27 days ago - 2.18 thousand downloads total - 1 maintainer
mv-errmapgen
Move error map generator10 versions - Latest release: about 2 months ago - 4 dependent packages - 1 dependent repositories - 16.2 thousand downloads total - 1 maintainer
mv-docgen
Move documentation generator10 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
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
mv-cli
CLI frontend for the Move compiler and VM9 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