Notable contributions in order of recency:
The Gem5 Simulator: Fixed several memory consistency model related bugs (in Ruby, O3 pipeline).
MemChecker (developed at ARM): a relaxed scoreboard style memory checker.
Smaller utilities that I’ve found useful over the years:
☆ pkgix: A simple from source prefix package manager written entirely in BASH.
☆ cksumdb: Simple BASH script to generate file checksums in various database formats.
☆ passph: Simple Python based password pre-hasher based on PBKDF2.
☆ = Maintainer or primary author.