aoc-move

github.comtool

Advent of Code solutions in Move with some formal verification.

from

Move

added

2026-10-10

likes

0

similar

1. ▲
   Move Prover github.com

   site category #move link ↗

   Formal verification of user-defined specifications written in Move source code. Maintained by the Move core team.

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

   site category #move link ↗
   
3. ▲
   The Move Programming Language youtube.com

   video category #move link ↗
   
4. ▲
   Move-on-EVM github.com

   site category #move link ↗

   Experimental project to compile Move source code to EVM bytecode.

5. ▲
   Aptos Golang SDK github.com

   tool category #move link ↗

   (community)

6. ▲
   Golang SDK 2 github.com

   tool category #move link ↗

   (community)

   

Move › Code > Miscellaneous: “Advent of Code solutions in Move with some formal verification.”