diem / move

Home of the Move programming language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

  • Browse code and content from the community at awesome-move.

License

Move is licensed as Apache 2.0.

About

Home of the Move programming language

License:Apache License 2.0


Languages

Language:Rust 73.7%Language:Move 17.1%Language:SMT 2.9%Language:TeX 2.8%Language:JavaScript 1.6%Language:Shell 0.6%Language:Boogie 0.6%Language:TypeScript 0.3%Language:Solidity 0.1%Language:Dockerfile 0.0%Language:Jupyter Notebook 0.0%