coq-community/autosubst Stargazers
- Amin Timanyamintimany
- András KovácsAndrasKovacs
- andy morrisandy-morris
- Anton Trunovanton-trunov
- beike-zh
- Paolo G. GiarrussoBlaisorblade
- Brendan Zabarauskasbrendanzab
- Catalin Hritcucatalin-hritcu
- Daniel Fruminco-dan
- codyroux
- Cole Hudsoncolejhudson
- cybai (Haku)CYBAI
- Lîm Tsú-thuàndannypsnl
- Dimitur Krustevdkrustev
- Edgar Gonzàlez i Pelliceredgar-gip
- gaxiiiiiiiiiiii
- Graydon Hoaregraydon
- Sandra Dylusichistmeinname
- jmitchell
- Joomy Korkutjoom
- Juan Bonojuanbono
- Xu Xuejuniorxxue
- Fengyun Liuliufengyun
- Mark Lemaymarklemay
- Miëtek Bakmietek
- nemNeM-T
- Noah Diewaldnoahdiewald
- Joshua Yanovskipythonesque
- Qiancheng Fuqcfu-bu
- Rick Elrodrelrod
- Rudy Petersonrudynicolop
- Scott Fleischmanscott-fleischman
- Paulo Torrenstakanuva
- Tobias Tebbitebbi
- unsoundsystem
- Yaozhu Sunyzyzsun