Alternatives and similar repositories for evm

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

• Zellic / EVM-trackooor
  A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
  ☆165Updated 4 months ago
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆187Updated 7 months ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆123Updated last year
• sbip-sg / CuEVM
  Cuda implementation of EVM bytecode executor
  ☆114Updated 8 months ago
• duneanalytics / storage-layout-extractor
  A tool that performs extraction of storage layouts based on EVM bytecode.
  ☆145Updated last year
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆214Updated this week
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆101Updated last year
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆138Updated 9 months ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆73Updated last year
• tintinweb / smart-contract-storage-viewer
  🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder
  ☆120Updated last year
• matter-labs / solx
  LLVM-based Solidity compiler.
  ☆151Updated this week
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆240Updated 7 months ago
• tintinweb / solgrep
  🧠 A scriptable semantic grep utility for solidity
  ☆145Updated last year
• botdad / power-clash
  Finds matching solidity function signatures for a given 4 byte signature hash and arguments.
  ☆113Updated last year
• minaminao / erever
  My swiss army knife for reversing EVM bytecodes (super experimental)
  ☆123Updated 3 weeks ago
• paradigmxyz / ultimate_evm_tracing_reference
  a collection of EVM tracing information for easy reference
  ☆170Updated last year
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆193Updated 4 months ago
• MariusVanDerWijden / tx-fuzz
  ☆117Updated 5 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆82Updated last year
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• paradigmxyz / pyrevm
  Python wrapper around https://github.com/bluealloy/revm/ using PyO3
  ☆179Updated 2 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆73Updated 8 months ago
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆113Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• rainshowerLabs / sothis
  Replay and track historical state
  ☆205Updated 7 months ago
• crytic / roundme
  ☆93Updated last year
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated 2 years ago
• NethermindEth / Forta-Agents
  Collection of Forta Bots for on-chain anomaly/threat detection
  ☆118Updated this week
• morpho-org / smart-contract-challenges
  Challenges to test your smart contract skills.
  ☆60Updated 2 years ago
• oguimbal / HyVM
  Run arbitrary code on the EVM
  ☆265Updated last year