Following

David Chisnall (*Now with 50% more sarcasm!*)

@[email protected]

Bob Nystrom

@[email protected]

adafruit

@[email protected]

Winchell Chung ⚛🚀

@[email protected]

Andrew Zonenberg

@[email protected]

StartsWithABang

@[email protected]

Clayton Shonkwiler

@[email protected]

The Rocq Prover

@[email protected]

Lean

@[email protected]

Etienne Jacob

@[email protected]