ethereum

EthLib Public
Formally verified Ethereum primitives, written in Lean.

ethereum/EthLib's past year of commit activity

Lean 83 CC0-1.0 22 1 20 Updated Nov 6, 2026
forkcast Public
Experiments in visualizing Ethereum network upgrades

ethereum/forkcast's past year of commit activity

TypeScript 65 AGPL-3.0 58 12 12 Updated Nov 6, 2026
go-ethereum Public
Go implementation of the Ethereum protocol

ethereum/go-ethereum's past year of commit activity

Go 51,460 LGPL-3.0 22,110 212 (5 issues need help) 282 Updated Nov 6, 2026
clear-signing-erc7730-registry Public

ethereum/clear-signing-erc7730-registry's past year of commit activity

JavaScript 131 CC0-1.0 223 100 77 Updated Nov 6, 2026
moica-revocation-smt Public
Revocation lists in SMT that automatically update through CI/CI (both off-chain and on-chain)

ethereum/moica-revocation-smt's past year of commit activity

Go 3 MIT 0 0 0 Updated Nov 6, 2026
discv4-dns-lists Public

ethereum/discv4-dns-lists's past year of commit activity

97 MIT 62 0 0 Updated Nov 6, 2026
glamsterdam-gas-invariants Public

ethereum/glamsterdam-gas-invariants's past year of commit activity

6 2 0 0 Updated Nov 6, 2026
ethereum-org-website Public
Ethereum.org is a primary online resource for the Ethereum community.

ethereum/ethereum-org-website's past year of commit activity

Markdown 5,996 MIT 5,436 133 (3 issues need help) 73 Updated Nov 6, 2026
ERCs Public
The Ethereum Request for Comment repository

ethereum/ERCs's past year of commit activity

Solidity 776 CC0-1.0 1,107 10 332 Updated Nov 6, 2026
zkevm-website Public

ethereum/zkevm-website's past year of commit activity

TypeScript 6 10 1 1 Updated Nov 6, 2026

View all repositories

Navigation Menu

ethereum

Pinned Loading

Repositories

People

Top languages

Most used topics