/move

Home of the Move programming language

Primary LanguageRustApache License 2.0Apache-2.0

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.

Community

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

License

Move is licensed as Apache 2.0.