Alternatives and similar repositories for tx-fuzz

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

• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆70Updated 3 months ago
• ethereum / protocol-security
  ☆42Updated this week
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated this week
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆64Updated this week
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆85Updated last month
• leonardoalt / yools
  Tools for Yul.
  ☆138Updated 2 years ago
• security-alliance / safe-harbor
  ☆77Updated last week
• ethereum / L2-interop
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆65Updated last month
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• fjl / geas
  The Good Ethereum Assembler
  ☆125Updated 3 months ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆60Updated 4 years ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆82Updated 5 months ago
• Philogy / sstore3
  ☆105Updated last year
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆123Updated last week
• ralexstokes / ethereum-consensus
  ☆147Updated 2 months ago
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆96Updated last year
• crytic / diffusc
  Experimental tool to ease the review of smart contracts upgrades
  ☆79Updated last year
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆151Updated 3 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…
  ☆155Updated last month
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated 7 months ago
• crytic / roundme
  ☆94Updated last year
• joohhnnn / Understanding-Optimism-Codebase
  This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.
  ☆80Updated last month
• michaelneuder / mev-bibliography
  ☆92Updated 2 years ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• costa-group / gasol-optimizer
  ☆109Updated 3 months ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆99Updated 11 months ago
• paradigmxyz / mesc
  MESC is a specification for how crypto tools configure their RPC endpoints
  ☆176Updated last year