Alternatives and similar repositories for move-prover-examples:

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

• SorellaLabs / poirot-rs
  A searcher of searchers
  ☆51Updated last year
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆45Updated 2 years ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆82Updated last year
• crytic / solana-lints
  Lints based on the Sealevel Attacks
  ☆35Updated 3 months ago
• pentagonxyz / move-oracles
  Oracles written in Move for the Sui Ecosystem
  ☆58Updated 2 years ago
• 0xMelkor / mev-price-prediction
  An MEV back-running template for ethers-rs
  ☆72Updated last year
• ipsilon / eof
  Validation code for the EOF specification
  ☆47Updated last month
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆54Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆85Updated last year
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated last month
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆90Updated this week
• anthias-labs / arbiter-template
  Minimal template for using the Arbiter framework for simulations.
  ☆45Updated last week
• alloy-rs / book
  Book on all things Alloy
  ☆29Updated 2 weeks ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆77Updated last week
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆40Updated last year
• wormhole-foundation / wormhole-scaffolding
  Starter apps with Wormhole integration
  ☆49Updated 4 months ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆82Updated last year
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆34Updated last year
• Philogy / evm-glue
  ☆79Updated 2 months ago
• solidquant / foundry-evm-mini
  Foundry EVM Standalone
  ☆22Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year
• FrankieIsLost / artemis-mev-share-template
  ☆67Updated last year
• greekfetacheese / revm-by-example
  Practical examples of the Rust Ethereum Virtual Machine
  ☆54Updated 3 months ago
• movebit / Sampled-Audit-Reports
  MoveBit Sampled Audit Reports
  ☆33Updated 3 months ago
• wavefnx / sigmund
  A tool for quickly collecting function selectors and decoding signatures from on-chain EVM bytecode.
  ☆52Updated 5 months ago
• Certora / tutorials-code
  Certora tutorials
  ☆21Updated 9 months ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆58Updated last year
• malik672 / uniswap-sdk-core-rust
  uniswap sdk core in rust
  ☆47Updated this week
• RareSkills / solana-tutorial
  ☆24Updated 2 months 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 6 months ago