siddhartha-gadgil/LeanAide Stargazers
- Anand Rao0art0
- Adam Topazadamtopaz
- Alcides Fonsecaalcides
- Alok Singhalok
- Junyan Xualreadydone
- Amal Royamalroy
- Ankit JaiswalAnkit-Jaiswal
- Anton Kovsharovantonkov
- Alexandre Rademakerarademaker
- Walter Schulzeawalterschulze
- ayush1801
- Bulhwi Chachabulhwi
- denjiry
- DoratossadatDsDastgheib
- Xie Zejianfecet
- Hagb (Junyu Guo 郭俊余)Hagb
- Yun Haohaoyun
- Hassan Najmhnjm
- Jimmy Situjimmysitu
- Jason Manueljmanuel1
- joewatt95
- Koundinya Vajjhakodyvajjha
- 李琼羽liqiongyu
- Marcelo Macielmarcelovmaciel
- Masahiro Kobayashimasakob
- Daniel Mahlermhlr
- Nikitanikitavoloboev
- Peiyang SongPeiyang-Song
- RexWangRexWzh
- KitamadoSeasawher
- SnO₂WMaNSnO2WMaN
- Sunny Gonnabathulasunny-g
- Toshinori Kitamurasyuntoku14
- L. Beteuribalb
- Utensilutensil
- Kaiyu Yangyangky11
