Stargazers
- 3nochIndiana
- abduld
- achudnovThe D. E. Shaw Group
- artisdomAuckland
- awtoUnited Kingdom
- benjaminfjonesAWS
- caballaCertora
- chessai
- cieplakStripe
- DarinM223
- defunctioNYC
- dguidoTrail of Bits
- dmjioAustin, TX
- doersinoSüdWestStrom
- dvasiliauskasDublin, Ireland
- eleeGitHub
- Essarelle
- h-michaelSynspective Inc.
- hussein-aitlahcenBlock 6.282e+10
- jiegec
- joeleong
- juanbono@lambdaclass
- KvanTTT@JetBrains @Kotlin @Antlr
- lethalbit@YosysHQ
- mrkkrp@tweag
- mrussek
- nodew@microsoft
- potan
- pouyakary@supnex
- romac@informalsystems
- sdiehlLondon
- taktoa@MatX-inc
- themattchan@awakesecurity
- thomashoneyman@aristanetworks
- TomMD@paxosglobal
- tophertimzenPortland, OR