yuanhong's following
- AdaptiveAdaptiveConsulting
- Agda Github Communityagda
- The Autoware Foundationautowarefoundation
- Bartosz MilewskiBartoszMilewski
- Ben Alexbenalexau
- Bruno Gavranovićbgavran
- Chaitin Techchaitin
- CNMDR3GCNMDR3G
- cuitaixiangcuitaixiang
- EMQ Technologiesemqx
- Espressif Systemsespressif
- Foxglovefoxglove
- garychowcmu
- Are you happy,Forrest Gump?hanbinglengyue
- Igal Tabachnikhmemcpy
- James A. Chappelljachappell
- maki-mathmaki-math
- Marten Seemannmarten-seemann
- MatrixSSLmatrixssl
- midnight_specialmidnightspecia1
- Henri Bourcereaummai
- Modularmodularml
- MelchizedekMzk-Levi
- nanomsgnanomsg
- Daniel Beskinncreep
- ninja-buildninja-build
- Nowcodernowcoder2021
- OpenGVLabOpenGVLab
- XiangShanOpenXiangShan
- IPADSPenglai-Enclave
- PyO3PyO3
- quinn-rsquinn-rs
- Stateboxstatebox
- Staysail Systems, Inc.staysail
- typelevel.scalatypelevel
- Typsttypst