Google
Austin Clements
Bindings for the Z3 SMT solver
aclements
A 21st century LaTeX wrapper
C++11 ELF/DWARF parser
Memory access tracing QEMU
Rabin hashing and content-defined chunking for Go
Interactive object file browser with symbol, source, assembly, and analysis
Locking wrapper for running benchmarks on shared hosts
POSIX-like scalable multicore research OS kernel
