https://github.com/diem/move

Home of the Move programming language
https://github.com/diem/move

blockchain smart-contracts verification

Last synced: 7 days ago
JSON representation

Home of the Move programming language

• Host: GitHub
• URL: https://github.com/diem/move
• Owner: diem
• License: apache-2.0
• Created: 2021-10-15T16:29:35.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2023-09-08T14:41:15.000Z (over 1 year ago)
• Last Synced: 2024-04-26T00:25:35.771Z (9 months ago)
• Topics: blockchain, smart-contracts, verification
• Language: Rust
• Homepage:
• Size: 108 MB
• Stars: 335
• Watchers: 31
• Forks: 131
• Open Issues: 55
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Codeowners: .github/CODEOWNERS
  • Security: SECURITY.md

Awesome Lists containing this project

README

        


	



---

[![License](https://img.shields.io/badge/license-Apache-green.svg)](LICENSE)

[![Discord chat](https://img.shields.io/discord/903339070925721652.svg?logo=discord&style=flat-square)](https://discord.gg/epNwRT2wcd)

# 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](https://www.docker.com/community/open-source/) 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](https://github.com/MystenLabs/awesome-move).

## License

Move is licensed as [Apache 2.0](https://github.com/diem/diem/blob/main/LICENSE).