ekmanss / 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.

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 91.7%Language:SMT 3.1%Language:TeX 3.0%Language:Shell 0.6%Language:JavaScript 0.6%Language:Boogie 0.5%Language:TypeScript 0.2%Language:Solidity 0.1%Language:Python 0.1%Language:Jupyter Notebook 0.0%Language:Dockerfile 0.0%