Michael Sproul's starred repositories
Karabiner-Elements
Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
python-kasa
🏠🤖 Python API for TP-Link smarthome products
mev-boost-relay
MEV-Boost Relay for Ethereum proposer/builder separation (PBS)
jemalloc.NET
A native memory manager for .NET
builder-specs
Specification for the external block builders.
libdiffuzz
Custom memory allocator that helps discover reads from uninitialized memory
checkpointz
An Ethereum beacon chain checkpoint sync provider
debos-radxa
This repo is deprecated, please use https://github.com/radxa-repo/rbuild instead
faster-hex
fast hex
consensus-spec-tests
Common tests for the Ethereum proof-of-stake consensus layer
rust-callgraph
Which functions call each other in your rust crate? Static call graph analysis.
consensus-actor
View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map
openexecution
A system that exposes a engine api to the public