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
  ☆39Updated this week
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆55Updated 2 months ago
• chainlight-io / publications
  ☆86Updated 7 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• crytic / roundme
  ☆90Updated 8 months ago
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆98Updated 4 months ago
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• ethpandaops / assertoor
  Ethereum Testnet Testing Tool
  ☆50Updated this week
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆85Updated 2 months ago
• ralexstokes / ethereum-consensus
  ☆143Updated 3 months ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆53Updated last week
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• ethereum / RIPs
  The Ethereum Rollup Improvement Proposal repository
  ☆118Updated last week
• ralexstokes / relay-monitor
  ☆60Updated 11 months ago
• security-alliance / safe-harbor
  ☆71Updated last month
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆63Updated 3 weeks ago
• MariusVanDerWijden / FuzzyVM
  Implementation of a differential fuzzer for Ethereum Virtual Machines
  ☆95Updated 5 months ago
• fjl / geas
  The Good Ethereum Assembler
  ☆103Updated this week
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated last week
• Philogy / sstore3
  ☆99Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• Philogy / evm-glue
  ☆80Updated 2 weeks ago
• michaelneuder / mev-bibliography
  ☆90Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆83Updated last year
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆94Updated last year
• ipsilon / eof
  Validation code for the EOF specification
  ☆50Updated last week
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆96Updated 3 months ago
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆95Updated this week