Michael Sproul's starred repositories
flamegraph
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
awesome-dbdev
Awesome materials about database development.
nimbus-eth1
Nimbus: an Ethereum Execution Client for Resource-Restricted Devices
cohort-four
Fourth cohort of Ethereum Protocol Fellowship
c-kzg-4844
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
python-slip39
Generate Ethereum, Bitcoin, etc. account seed and backup Mnemonics in SLIP-39 format (Trezor & Ledger compatible), with details in printable PDF format. Optionally, also print encrypted JSON and BIP-38 paper wallets.
eth-duties
Tool for logging upcoming validator duties to the console
json_rpc_snoop
JSON-RPC endpoint proxy that dumps requests/responses for debugging
el-sync-driver
A little tool to guide one or more Ethereum's Execution Layer clients to sync the network using an existing Consensus Layer client
blockdreamer
Ethereum block hallucinator
xdelta3-rs
Rust binding for xdelta3 (APL branch)
ethereum-consensus-client-cross-connectivity
Overview for Ethereum CL client cross connectivitiy
beaxplorer
Ethereum 2.0 Beacon chain explorer written in Rust and relying on Lighthouse.
verified-consensus
Formalisation of Ethereum consensus in Isabelle/HOL
lighthouse-local-testnet
docker-compose setup for local testnet with lighthouse
jormungand
Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".