Alternatives and similar repositories for move-prover-examples

Users that are interested in move-prover-examples are comparing it to the libraries listed below

• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆43Updated 3 weeks ago
• massun-onibakuchi / sol-challenge
  CTF-like challenges of smart contracts
  ☆63Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆56Updated last month
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆84Updated this week
• pentagonxyz / multisig-wallet-move
  Multisignature wallet in Move (with support for adding and removing participants).
  ☆33Updated 2 years ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 3 months ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆89Updated this week
• saruman9 / move_ctf_writeup
  Writeup for Move CTF 2022 by MoveBit and others.
  ☆18Updated 2 years ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated last year
• minaminao / defi-exploits
  DeFi exploits for educational purposes
  ☆60Updated last year
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆106Updated last year
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 2 years ago
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆57Updated 3 weeks ago
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆37Updated last year
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated 6 months ago
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated last year
• PufferFinance / rave
  Remote Attestation VErification
  ☆32Updated 10 months ago
• chainlight-io / publications
  ☆86Updated 2 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆90Updated last year
• PraneshASP / smol-evm-rs
  ☄️ A toy implementation of the EVM from scratch using Rust.
  ☆36Updated last year
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆62Updated 8 months ago
• Dedaub / audits
  Repository containing past audit reports
  ☆55Updated last year
• alloy-rs / docs
  Book on all things Alloy
  ☆42Updated this week
• pentagonxyz / xyk-amm-move
  Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.
  ☆85Updated 2 years ago
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆59Updated last year
• Sabnock01 / blur-v2
  Contracts for Blur and Blend
  ☆30Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 5 months ago
• k--chow / solana-security
  A compilation of solana security resources.
  ☆21Updated 2 years ago
• Philogy / evm-glue
  ☆81Updated 4 months ago