Guanzhou Hu's following
- Appleapple
- Bauplan LabsBauplanLabs
- Jiacheng Shenbernardshen
- Chris Luchrislusf
- chyyuuchyyuu
- Dafnydafny-lang
- Datadog, Inc.DataDog
- Ted YinDeterminant
- David Tolnaydtolnay
- Meta Experimentalfacebookexperimental
- FStarLangFStarLang
- Yujie RENingerido
- James Bornholtjamesbornholt
- Jepsenjepsen-io
- Konstantinos Kanelliskkanellis
- ChengXiang QiKuangjuX
- madsim-rsmadsim-rs
- Oakestraoakestra
- Quinn Burkequinnburke
- rayon-rsrayon-rs
- Runtime Verification Inc.runtimeverification
- rust-vmmrust-vmm
- shadowsocksshadowsocks
- Simplify Jobs Inc.SimplifyJobs
- Skyplaneskyplane-project
- SmartContractsmartcontractkit
- Tej Chajedtchajed
- TLA+tlaplus
- Tokiotokio-rs
- Vectorvectordotdev
- Vinay BanakarVinayBanakar
- Victor Zverovichvitaut
- Runji Wangwangrunji0408
- whywhywhyjc
- Yangqing JiaYangqing
- yusenyslys