Alternatives and similar repositories for FuzzyVM

Users that are interested in FuzzyVM are comparing it to the libraries listed below

• MariusVanDerWijden / tx-fuzz
  ☆113Updated last month
• ethereum / protocol-security
  ☆40Updated 2 weeks ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆56Updated last month
• ChainSafe / nodewatch-api
  A devp2p crawler targeted at Eth2 nodes
  ☆59Updated last year
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 10 months ago
• ethereum / public-disclosures
  ☆130Updated 4 months ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆137Updated 5 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆112Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆207Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• ethereum / execution-spec-tests
  A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
  ☆152Updated this week
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 10 months ago
• holiman / goevmlab
  Evm laboratory
  ☆273Updated last week
• karalabe / ssz
  Opinionated 0-alloc SSZ codec for Go
  ☆50Updated 8 months ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆76Updated 2 years ago
• ConsenSysDiligence / diligence-fuzzing
  ☆39Updated 2 months ago
• aragon / evm-storage-proofs
  Trustlessly prove a past storage value in a contract to other contracts
  ☆146Updated 2 years ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆91Updated 2 months ago
• crytic / crytic-compile
  Abstraction layer for smart contract build systems
  ☆173Updated last month
• ferranbt / fastssz
  Fast Ethereum2.0 SSZ encoder/decoder
  ☆86Updated last month
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 4 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆55Updated 6 months ago
• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆51Updated 6 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 6 months ago
• protolambda / eth2-val-tools
  Some experimental tools to manage validators - use at your own risk
  ☆73Updated last year
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 2 years ago
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆63Updated last week
• ChihChengLiang / poseidon-tornado
  ☆89Updated 3 years ago
• ralexstokes / ethereum-consensus
  ☆148Updated last month