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 every tool call, subagent, and token like a browser inspector
Kernel-enforced agent sandbox. Capability-based isolation with secure key management, atomic rollback, cryptographic immutable audit chain of provenance. Run your agents in a zero-trust environment.
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.