Alternatives and similar repositories for move-prover-examples

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

• jtriley2p / bigbrainchad-eth
  ☆23Updated 11 months ago
• malik672 / gas-analyzer
  The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…
  ☆18Updated last year
• Philogy / evm-glue
  ☆81Updated 6 months ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 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.
  ☆88Updated 2 years ago
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆44Updated last week
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆65Updated 11 months ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• Dedaub / audits
  Repository containing past audit reports
  ☆55Updated last year
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 3 years ago
• alloy-rs / docs
  Book on all things Alloy
  ☆45Updated this week
• solidquant / foundry-evm-mini
  Foundry EVM Standalone
  ☆23Updated last year
• 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
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆42Updated last year
• propeller-heads / tycho-simulation
  ☆74Updated this week
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated last year
• Ethnical / Swek3
  Web3 Security Toolbox
  ☆73Updated last year
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• blocksecteam / rustle
  A static analyzer for NEAR smart contract in Rust
  ☆108Updated last year
• paco0x / kyber-exploit-example
  reproduce kyber-elastic exploit
  ☆76Updated last year
• Anish-Agnihotri / sushiswap-exploit
  SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.
  ☆91Updated 2 years ago
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated 8 months ago
• alloy-rs / chains
  Canonical type definitions for EIP-155 chains
  ☆79Updated this week
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆95Updated this week
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆142Updated last week
• a16z / halmos-cheatcodes
  ☆69Updated 3 months ago
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 6 months ago