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
  ☆46Updated last week
• alloy-rs / docs
  Book on all things Alloy
  ☆48Updated last month
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 3 years ago
• Philogy / evm-glue
  ☆83Updated 10 months ago
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆74Updated 6 months ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 3 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆52Updated 3 years ago
• NomicFoundation / solx
  LLVM-based Solidity compiler.
  ☆170Updated last week
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆43Updated 3 months ago
• paco0x / kyber-exploit-example
  reproduce kyber-elastic exploit
  ☆77Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 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…
  ☆142Updated last year
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated last year
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 8 months ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated 2 years ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆105Updated last month
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆51Updated 2 years ago
• ralexstokes / ethereum-consensus
  ☆149Updated 5 months ago
• danhper / eclair
  A Solidity interpreter
  ☆71Updated 3 weeks ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine
  ☆84Updated 2 years ago
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆110Updated 2 years ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated 2 years ago
• propeller-heads / tycho-simulation
  ☆91Updated this week
• Zellic / poc-hacks
  ☆41Updated 2 years ago
• pentagonxyz / xyk-amm-move
  Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.
  ☆89Updated 3 years ago
• jtriley2p / bigbrainchad-eth
  ☆23Updated last year
• open-dust / cairo-foundry
  Foundry like framework for starknet contracts
  ☆75Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆74Updated 3 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆42Updated 2 years ago