soniseth0/alloy
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Cairo is the first Turing-complete language for creating provable programs for general computation.
Ethereum implementation on the efficiency frontier
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Monorepo for OP Stack Types, Components, and Services built in Rust.
Nitro goes vroom and fixes everything
A robust execution client for Ethereum node operators.
Solidity, the Smart Contract Programming Language
The Ethereum Improvement Proposal repository
The Nexus zkVM: The zero-knowledge virtual machine
Go implementation of the Ethereum protocol
Go implementation of Ethereum proof of stake
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
A toolkit for polynomial IOPs (PIOPs)