Peter Davies's repositories
akula-pyspec-extract
Tool for extracting historical states for the Ethereum Execution Layer Specifications
ethereum-spec-evm-resolver
EELS evm forwarding tool
execution-specs
Specifications for the Ethereum 1.0. Tracking network upgrades.
akula
Next-generation Ethereum implementation written in Rust
caramel
A modern syntax for the λ-calculus.
EIPs
The Ethereum Improvement Proposal repository
erigon
Ethereum implementation on the efficiency frontier
eth2.0-specs
Ethereum 2.0 Specifications
ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
execution-spec-generated-tests
Test files generated by execution-spec-tests
execution-spec-tests
Tools & libraries for generating cross-client tests.
lighthouse
Ethereum consensus client in Rust
persistent
Persistence interface for Haskell allowing multiple storage methods.
py_ecc
Python implementation of ECC pairing and bn_128 and bls12_381 curve operations
pysmata
Pysmata is a python tool for manipulating replays/games of Prismata (see http://prismata.net)
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
rusty-rlp
Python bindings for rust rlp
staking-deposit-cli
Secure key generation for deposits
tests
Common tests for all Ethereum implementations
yellowpaper
The "Yellow Paper": Ethereum's formal specification