Move and SmartContract Development
Overview
Maintained by the Starcoin team
Related Projects
Implementing, testing, and verifying a fungible tokenMove is a programming language designed specifically for blockchain environments, focusing on safety and flexibility for smart contract development. It introduces unique concepts like resource types and linear logic to prevent common blockchain vulnerabilities while enabling complex financial applications. ## Key Features - **Resource Safety** — Resources cannot be copied or implicitly discarded, preventing double-spending and other financial bugs - **Formal Verification** — Built-in support for mathematical proofs of contract correctness - **Module System** — Encapsulated modules with fine-grained access control for secure code organization - **Linear Types** — Track ownership and consumption of assets at the type system level - **Transaction Scripts** — Flexible scripting capability for composing multiple operations ## Philosophy Move prioritizes safety and correctness in financial applications through a type system that enforces resource invariants by default, making it harder to write vulnerable smart contracts.
Move LanguageInteractive Move language course, free for everyone, maintained by imcoding.online (中文)
Programming with objectsMaintained by the Sui team
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.