A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

Shardeum is an EVM based autoscaling blockchain

An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer

The game-changing wallet for Ethereum and all EVM chains

Official implementation of IoTeX blockchain protocol in Go. An ultra-efficient EVM blockchain offering 1000 TPS with instant 1-block finality. Perfect for DeFi, DePIN tokenomics, Identities, and any trusted logic requiring Web3 composability

Evmos is the canonical EVM chain on Cosmos. Evmos is the flagship implementation of evmOS, a stack to build forward compatible EVMs

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

Open Source AI trading agent that operates autonomously across 1000+ markets - Polymarket, Kalshi, Binance, Hyperliquid, Solana DEXs, 5 EVM chains. Scans for edge, executes instantly, manages risk while you sleep. Agent commerce protocol for machine-to-machine payments. Self-hosted. Built on Claude.

Python classes to aid rapid development of Uniswap (V2, V3, V4), Curve V1, Solidly V2, Aave V3 arbitrage & liquidation bots on EVM-compatible blockchains

Monorepo for Sablier's EVM smart contracts including Lockup, Flow, Airdrops, Bob and Utils protocols

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

🔐💰Seamless and secure multichain wallet for Tezos & EVM blockchains as Web extension for your Browser.