Alternatives and similar repositories for CuEVM

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

• paradigmxyz / revmc
  JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
  ☆246Updated 9 months ago
• MariusVanDerWijden / tx-fuzz
  ☆119Updated 7 months ago
• Philogy / evm-glue
  ☆82Updated 9 months ago
• ConsenSysDiligence / daedaluzz
  Benchmark Generator for Smart-Contract Fuzzers
  ☆140Updated last month
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆218Updated 3 weeks ago
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆188Updated 9 months ago
• paradigmxyz / jitevm
  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…
  ☆142Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 3 years ago
• acuarica / evm
  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…
  ☆99Updated 8 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 10 months ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆89Updated last year
• danhper / eclair
  A Solidity interpreter
  ☆70Updated last week
• MorenaBarboni / SuMo-SOlidity-MUtator
  A mutation testing tool for Solidity Smart Contracts
  ☆85Updated 6 months ago
• andstor / verified-smart-contracts
  Verified Ethereum Smart Contract dataset
  ☆29Updated 2 years ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆107Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 6 months ago
• NomicFoundation / solx
  LLVM-based Solidity compiler.
  ☆168Updated last week
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆102Updated last year
• 0xalpharush / fuzzing-like-a-degen
  Barebones Solidity smart contract fuzzer
  ☆96Updated 3 years ago
• paco0x / kyber-exploit-example
  reproduce kyber-elastic exploit
  ☆77Updated last year
• DeFiHackLabs / blazctf-2024-writeup
  ☆17Updated last year
• paradigmxyz / paradigm-ctf-2023
  ☆84Updated last year
• runtimeverification / kontrol
  ☆84Updated this week
• fjl / geas
  The Good Ethereum Assembler
  ☆138Updated this week
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆44Updated 2 years ago
• ZK-University / ZKU
  Zero-Knowledge University
  ☆34Updated last year
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• duneanalytics / storage-layout-extractor
  A tool that performs extraction of storage layouts based on EVM bytecode.
  ☆147Updated last year
• flashbots / mev-flood
  simulates MEV activity from an array of unique searchers; used for testing infra
  ☆124Updated last year
• crytic / roundme
  ☆98Updated last year