diem / move

Home of the Move programming language
Apache License 2.0
346 stars 131 forks source link
blockchain smart-contracts verification

Diem Logo


License Discord chat

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

License

Move is licensed as Apache 2.0.