Alternatives and similar repositories for CuEVM

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

• MariusVanDerWijden / tx-fuzz
  ☆117Updated 5 months ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆216Updated last week
• Philogy / evm-glue
  ☆82Updated 8 months ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆98Updated 6 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆138Updated last week
• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆242Updated 8 months ago
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆82Updated 5 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆88Updated last year
• DeFiHackLabs / blazctf-2024-writeup
  ☆16Updated last year
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆187Updated 8 months ago
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆101Updated last year
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆62Updated 10 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 9 months ago
• ZK-University / ZKU
  Zero-Knowledge University
  ☆33Updated last year
• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆90Updated last month
• edb-rs / edb
  EDB: The Ethereum Project Debugger
  ☆244Updated last week
• duneanalytics / storage-layout-extractor
  A tool that performs extraction of storage layouts based on EVM bytecode.
  ☆145Updated last year
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆123Updated last year
• paradigmxyz / paradigm-ctf-infrastructure
  Public infra related to hosting Paradigm CTF
  ☆114Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• paradigmxyz / paradigm-ctf-2023
  ☆84Updated last year
• danhper / eclair
  A Solidity interpreter
  ☆70Updated last month
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆192Updated 4 months ago
• runtimeverification / simbolik-vscode
  VSCode extension for debugging Solidity using Simbolik API server
  ☆46Updated 2 weeks ago
• runtimeverification / kontrol
  ☆83Updated this week
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆75Updated 3 months ago
• crytic / secureum-medusa
  ☆46Updated 2 years ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated 2 years ago