This was the home of the Move language from inception to ~2022. This repository is no longer maintained, but development continues in https://github.com/move-language/move-on-aptos and https://github.com/move-language/move-sui.

About

Apache License 2.0

Languages

Language:Rust 66.9%Language:Move 25.9%Language:SMT 2.3%Language:TeX 2.2%Language:JavaScript 1.3%Language:Boogie 0.6%Language:Shell 0.4%Language:TypeScript 0.4%Language:Solidity 0.1%Language:Dockerfile 0.0%Language:Jupyter Notebook 0.0%