Ecosyste.ms: Packages

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

Top 8.4% on crates.io
Top 2.1% dependent packages on crates.io

crates.io : mv-model

Move model

Registry - Documentation - JSON
purl: pkg:cargo/mv-model
License: Apache-2.0
Latest release: 17 days ago
First release: about 2 years ago
Dependent packages: 18
Dependent repositories: 3
Downloads: 18,870 total
Last synced: 17 days ago

move-deps
Move dependencies
12 versions - Latest release: 17 days ago - 43 dependent packages - 14.8 thousand downloads total - 1 maintainer
Top 9.2% on crates.io
mv-package
Package and build system for Move code
9 versions - Latest release: 17 days ago - 10 dependent packages - 3 dependent repositories - 16 thousand downloads total - 1 maintainer
mv-prover-boogie-backend
Move prover Boogie backend
10 versions - Latest release: 18 days ago - 3 dependent packages - 1 dependent repositories - 15 thousand downloads total - 1 maintainer
mv-abigen
Move ABI generation
10 versions - Latest release: 19 days ago - 3 dependent packages - 3 dependent repositories - 18.1 thousand downloads total - 1 maintainer
mv-prover
Move prover
10 versions - Latest release: 19 days ago - 9 dependent packages - 1 dependent repositories - 15.2 thousand downloads total - 1 maintainer
spec-flatten
Formal specification flattening tool
8 versions - Latest release: 19 days ago - 2.2 thousand downloads total - 1 maintainer
prover-mutation
Move Prover mutation
8 versions - Latest release: 20 days ago - 2.25 thousand downloads total - 1 maintainer
prover-lab
Move Prover lab
8 versions - Latest release: 20 days ago - 2.18 thousand downloads total - 1 maintainer
move-to-yul
Move Solidity Generator
9 versions - Latest release: about 1 month ago - 3 dependent packages - 3.08 thousand downloads total - 1 maintainer
mv-errmapgen
Move error map generator
10 versions - Latest release: about 1 month ago - 4 dependent packages - 1 dependent repositories - 16.2 thousand downloads total - 1 maintainer
move-stackless-bytecode-interpreter
Move stackless bytecode interpreter
9 versions - Latest release: about 1 month ago - 4 dependent packages - 1 dependent repositories - 13.6 thousand downloads total - 1 maintainer
mv-docgen
Move documentation generator
10 versions - Latest release: about 1 month ago - 4 dependent packages - 3 dependent repositories - 18.2 thousand downloads total - 1 maintainer
Top 8.5% on crates.io
read-write-set
Read/write set inference for Move bytecode programs
9 versions - Latest release: about 2 months ago - 2 dependent packages - 1 dependent repositories - 14.8 thousand downloads total - 16,685 stars on GitHub - 1 maintainer
Top 6.8% on crates.io
move-stackless-bytecode
Move stackless bytecode
10 versions - Latest release: about 2 months ago - 9 dependent packages - 1 dependent repositories - 14.7 thousand downloads total - 16,685 stars on GitHub - 1 maintainer
Top 7.4% on crates.io
mv-unit-test
Unit testing framework for Move code
9 versions - Latest release: about 2 months ago - 5 dependent packages - 1 dependent repositories - 13 thousand downloads total - 16,680 stars on GitHub - 1 maintainer
errmapgen 0.4.3
Move JSON error map generator.
14 versions - Latest release: almost 2 years ago - 2 dependent packages - 30 dependent repositories - 6.81 thousand downloads total - 10 stars on GitHub - 1 maintainer
move-idl 0.4.2
Move IDL
13 versions - Latest release: almost 2 years ago - 5 dependent packages - 2 dependent repositories - 6.4 thousand downloads total - 10 stars on GitHub - 1 maintainer
move-idl-parse 0.4.0
CLI for parsing an IDL from a Move package.
12 versions - Latest release: almost 2 years ago - 3.3 thousand downloads total - 10 stars on GitHub - 1 maintainer