Move

144 items from mystenlabs/awesome-move ★1,494

1. ▲

   Move @ 0L Discord discord.gg

   site link ↗
   
2. ▲

   Move: A Language With Programmable Resources developers.diem.com

   This was the original Move white paper released in 2018. Many aspects of this are now out of date (e.g., the syntax and description of the bytecode instructions), but the first two sections are worth a read for explaining the difficulties of programming with assets and how Move…

   site topic programming link ↗
   site
3. ▲

   ComingChat coming.chat

   A decentralized social finance/web3 portal. Supporting public chain wallets, such as Sui and Aptos wallets.

   site topic business link ↗
   site
4. ▲

   The Move Borrow Checker arxiv.org

   site link ↗
   
5. ▲

   Fast and Reliable Formal Verification of Smart Contracts with the Move Prover arxiv.org

   site link ↗
   
6. ▲

   Robust Safety for Move arxiv.org

   site link ↗
   
7. ▲

   Resources: A Safe Language Abstraction for Money arxiv.org

   site link ↗