Alternatives and similar repositories for tx-fuzz

Users that are interested in tx-fuzz are comparing it to the libraries listed below

• ethereum / protocol-security
  ☆40Updated 2 weeks ago
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• security-alliance / safe-harbor
  ☆74Updated 4 months ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆63Updated this week
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆212Updated this week
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆147Updated last month
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆61Updated 2 weeks ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 6 months ago
• FastLane-Labs / atlas
  An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…
  ☆152Updated this week
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆103Updated 5 months ago
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆96Updated last year
• Philogy / balls
  A DSL for generating optimal EVM bytecode
  ☆188Updated 7 months ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆54Updated 3 months ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆58Updated last week
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆108Updated last week
• ralexstokes / ethereum-consensus
  ☆148Updated last month
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated last year
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆60Updated last month
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆79Updated last month
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆149Updated 3 months ago
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆145Updated last year
• blunt-instruments / MevWallet
  MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.
  ☆154Updated 2 years ago
• chainlight-io / publications
  ☆86Updated 2 months ago
• crytic / roundme
  ☆91Updated last year
• eth-infinitism / bundler-spec-tests
  Bundler specification test suites
  ☆79Updated 3 weeks ago
• michaelneuder / mev-bibliography
  ☆92Updated last year
• ethpandaops / optimism-package
  A kurtosis package for deploying an optimistic rollup
  ☆77Updated this week