Starred repositories
Lean4 port of xdelta3 binary diff algorithm, with proofs
Heatmap for equities inside an index-heavy portfolio
The missing DevTools for Claude Code — inspect session logs, tool calls, token usage, subagents, and context window in a visual UI. Free, open source.
nono - a capability-based, multiplexing sandbox tool, built for developers - lift'n'shift seamless path to prod. Run agents securely without needing any additional infra, zero setup, zero latency.
Dora the Explorer is a lightweight slot explorer for the ethereum beaconchain
Github action to determine the availability of self-hosted runners
ethPandaOps' giant-wok based AI workflows
A collection of learning materials on the Beam chain and Ream client.
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Detect concurrency and memory bugs and possible panic locations in Rust projects
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
The lazier way to manage everything docker
A study group learning about Ethereum and building protocol wiki
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Empowering everyone to build reliable and efficient software.
Formalisation of Ethereum consensus in Isabelle/HOL
Compaction-Less Database Optimized for Efficiently Storing Recent Merkleized Blockchain State
setup for running lighthouse on 4844 testnets
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.