hub / github.com/diem/move
github.com/diem/move @main
Chat with this repo
8,361 symbols
33,958 edges
671 files
⚖ custom
2,504 documented · 30%
● updated 2y ago★ 37834 open issues
Browse by type
What it actually does AI analysis from the code graph — generated when you open this
loading…
README
The Move Language
Move is a new programmable platform for blockchains and other applications where safety and correctness are paramount. It is an executable bytecode language designed to provide safe and verifiable transaction-oriented computation. The language features a strong type system with linear resource types, runtime checks, and formal verification.
Quickstart
Build the Docker Image for the Command Line Tool
docker build -t move/cli -f docker/move-cli/Dockerfile .
Build a Test Project
cd ./language/documentation/tutorial/step_1/BasicCoin
docker run -v `pwd`:/project move/cli build
Community
- Browse code and content from the community at awesome-move.
License
Move is licensed as Apache 2.0.
Extension points exported contracts — how you extend this code
TransferFunctions (Interface)
Take a pre-state + instruction and mutate it to produce a post-state。 [8 implementers]
language/move-prover/bytecode/src/dataflow_analysis.rs
ModuleResolver (Interface)
Traits for resolving Move modules and resources from persistent storage A persistent storage backend that can resolve mo [8 …
language/move-core/types/src/resolver.rs
AstDebug (Interface)
Simple trait used for pretty printing the various AST Unfortunately, the trait implementation cannot be derived. The ac [157 …
language/move-compiler/src/shared/ast_debug.rs
VMValueCast (Interface)
* * Casting * * Due to the public value types being opaque to an external user, the following * public APIs are [13 implementers]
language/move-vm/types/src/values/values_impl.rs
Linter (Interface)
Represents a linter. [21 implementers]
devtools/x-lint/src/lib.rs
GetModule (Interface)
A persistent storage that can fetch the bytecode for a given module id TODO: do we want to implement this in a way that [4 …
language/tools/move-bytecode-utils/src/module_cache.rs
browse all types & interfaces →
Core symbols most depended-on inside this repo
↓ 47 filesStruct
language/move-binary-format/src/normalized.rs
↓ 43 filesVectorlanguage/move-vm/types/src/values/values_impl.rs
↓ 28 filesspFunction used to have nearly tuple-like syntax for creating a Spanned
language/move-ir/types/src/location.rs
↓ 26 filesFunctionTargetProcessorA trait describing a function target processor.
language/move-prover/bytecode/src/function_target_pipeline.rs
↓ 32 filesReferencelanguage/move-vm/types/src/values/values_impl.rs
↓ 24 filesdeserializelanguage/extensions/move-table-extension/src/lib.rs
Shape
Languages
Rust99%
TypeScript1%
Modules by API surface
language/move-model/src/model.rs287 symbols
language/move-vm/types/src/values/values_impl.rs129 symbols
language/move-compiler/src/expansion/translate.rs105 symbols
language/move-binary-format/src/serializer.rs99 symbols
language/move-prover/interpreter/src/concrete/value.rs98 symbols
language/move-compiler/src/parser/syntax.rs98 symbols
language/move-vm/runtime/src/loader.rs95 symbols
language/move-binary-format/src/deserializer.rs94 symbols
language/move-compiler/src/typing/core.rs90 symbols
language/move-ir-compiler/move-ir-to-bytecode/syntax/src/syntax.rs89 symbols
language/move-model/src/ast.rs81 symbols
language/move-ir/types/src/ast.rs80 symbols