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 2 weeks ago
• 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
• k--chow / solana-security
  A compilation of solana security resources.
  ☆21Updated 2 years ago
• wormhole-foundation / wormhole-scaffolding
  Starter apps with Wormhole integration
  ☆55Updated 2 months ago
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆62Updated 9 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 6 months ago
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆49Updated last year
• PufferFinance / rave
  Remote Attestation VErification
  ☆33Updated 10 months ago
• az0mb13 / awesome-solana-security
  A curated list of awesome Solana security resources
  ☆59Updated last year
• saruman9 / move_ctf_writeup
  Writeup for Move CTF 2022 by MoveBit and others.
  ☆18Updated 2 years ago
• massun-onibakuchi / sol-challenge
  CTF-like challenges of smart contracts
  ☆63Updated 2 years ago
• Philogy / evm-glue
  ☆81Updated 4 months ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆56Updated 2 months ago
• chainlight-io / publications
  ☆87Updated 3 months ago
• Dedaub / audits
  Repository containing past audit reports
  ☆55Updated last year
• alloy-rs / docs
  Book on all things Alloy
  ☆43Updated 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.
  ☆87Updated 2 years ago
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆88Updated this week
• blocksecteam / metasleuth_resources
  A collection of investigation reports analyzed with MetaSleuth, a crypto fund flow visualization and analysis tool powered by @blocksecte…
  ☆18Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• ralexstokes / ethereum-consensus
  ☆148Updated 2 months ago
• PraneshASP / smol-evm-rs
  ☄️ A toy implementation of the EVM from scratch using Rust.
  ☆36Updated last year
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆40Updated last year
• anza-xyz / security-audits
  Published security audits
  ☆81Updated 2 weeks ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 2 years ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆92Updated this week
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆58Updated 2 years ago
• euler-xyz / euler-oracle-tools
  ☆34Updated 2 years ago
• paradigmxyz / jitevm
  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…
  ☆143Updated last year