Formal Verification tool for Move on Sui
☆34Feb 27, 2026Updated this week
Alternatives and similar repositories for sui-prover
Users that are interested in sui-prover are comparing it to the libraries listed below
Sorting:
- ☆18May 30, 2025Updated 9 months ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Specialized fuzzer for the Move compilers and the VM☆17Nov 13, 2025Updated 3 months ago
- ☆60Jun 4, 2025Updated 9 months ago
- Move Ctf 指南☆22Jul 7, 2025Updated 7 months ago
- Sui Improvement Proposals (SIPs)☆77Dec 19, 2025Updated 2 months ago
- A gentle, example-based guide to getting started with the Move prover.☆51Sep 24, 2022Updated 3 years ago
- SDK for verifiable randomness function (VRF / RNG) on Aptos☆10Feb 6, 2025Updated last year
- Smart Account framework powering next-gen apps on Sui☆25Feb 3, 2026Updated last month
- EGraphs in OCaml☆80Jan 20, 2024Updated 2 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Open source forkable Move dev stack☆27Apr 10, 2025Updated 10 months ago
- University of the People Programming Fundamentals assignments☆14May 16, 2021Updated 4 years ago
- Auth Wiki Project Team 1☆10Aug 22, 2022Updated 3 years ago
- Decompiler for Move smart contracts☆83Jul 27, 2024Updated last year
- Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…☆30Dec 18, 2023Updated 2 years ago
- A recommender system that recommends cryptocurrencies to investors.☆10Mar 26, 2021Updated 4 years ago
- Spark is a DeFi super app on the Fuel.network☆10May 13, 2025Updated 9 months ago
- ☆10Aug 25, 2021Updated 4 years ago
- A collection of Move examples☆43Dec 2, 2025Updated 3 months ago
- ☆44Dec 15, 2024Updated last year
- MoveBit Sampled Audit Reports☆51Oct 17, 2024Updated last year
- A web3 Namecard project using TaiShang Micro FaaS!☆11Sep 18, 2022Updated 3 years ago
- Rust SDK for Lighter trading platform☆21Dec 29, 2025Updated 2 months ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated last month
- Move on Aptos tree-sitter grammar☆13Feb 17, 2026Updated 2 weeks ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆10Jul 19, 2021Updated 4 years ago
- Token Vesting Smart Contract for Aptos Blockchain.☆10Jun 4, 2023Updated 2 years ago
- Flyer and Website for Monero Newbies☆13Nov 14, 2025Updated 3 months ago
- ☆11Jun 24, 2024Updated last year
- The SuiNS Smart Contracts & Documentation repository☆134Feb 10, 2026Updated 3 weeks ago
- A curated list of Move code and resources.☆200Jan 9, 2026Updated last month
- Nostrame - Nostr Signer & Account Management Extension☆14Jan 16, 2026Updated last month
- ⊗ Reality Development Kit (RDK) provides a unified API for web-based extended reality and immersive experiences☆31Updated this week
- ☆16Updated this week
- Apple HIG audit CLI + 14 agent skills for AI coding assistants — score any project for HIG compliance across 12 frameworks☆14Feb 24, 2026Updated last week
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Frontend interface for the across bridge protocol.☆10Dec 26, 2023Updated 2 years ago