10000 GitHub - dhaneshacn/move: Home of the Move programming language
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

dhaneshacn/move

 
 

Repository files navigation

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

Resources

License

Code of conduct

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 91.8%
  • SMT 3.1%
  • TeX 3.0%
  • Shell 0.6%
  • JavaScript 0.6%
  • Boogie 0.5%
  • Other 0.4%
0