Clay-Mysten / 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.

Contributing

To begin contributing, sign the CLA. You can learn more about contributing to the Diem project by reading our Contribution Guide and by viewing our Code of Conduct.

Community

License

Move is licensed as Apache 2.0.

About

Home of the Move programming language

License:Apache License 2.0


Languages

Language:Rust 92.0%Language:SMT 3.3%Language:TeX 3.2%Language:Shell 0.7%Language:Boogie 0.6%Language:TypeScript 0.2%Language:Jupyter Notebook 0.0%Language:Dockerfile 0.0%Language:Solidity 0.0%