Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

面向长篇小说创作的 AI Native 开源系统，用 Agent、世界观、写法引擎、RAG 和整本生产工作流，帮助新手从一句灵感走到完整小说。AI-native engine for end-to-end novel creation — from idea to full chapters, with structured planning, worldbuilding, and agen…

Paste any GitHub URL → interactive architecture map. See how files connect, find what breaks if you change something. No install, no accounts — runs entirely in your browser.

Reproduce DeFi hacked incidents using Foundry.

A Rust procedural language handler for PostgreSQL

DataFusion FlightSQL Server

A binary lifter and analysis framework for Ethereum smart contracts

Public contract repository for Etherex on Linea

🦄 🦄 🦄 Core smart contracts of Uniswap v3

Transports, Middleware, and Networks for the Alloy project

Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls.

Executable formal model of the EVM and Yul in Lean 4.

Rust implementation of the Ethereum Virtual Machine.

Ethereum consensus client in Rust

Base-16 Modified Patricia Merkle Tree (aka Trie)

Datalog with support for SMT queries and first-order functional programming

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

Main repository of SageMath

Blazingly fast Parallel EVM

A Rust library to interact with automated market makers across EVM chains.

symbolic EVM evaluator

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

A symbolic execution engine for EVM smart contract binaries.