Skip to content
/ move-1 Public
forked from diem/move

Home of the Move programming language

License

Notifications You must be signed in to change notification settings

uvd/move-1

 
 

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

 
 
 

Languages

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