gallais/agda-sizedIO Stargazers
- Максим Сохацький5HT
- awkure
- Ting-gian LUAbanacorn
- beike-zh
- Brendan Zabarauskasbrendanzab
- Alex Gryzlovclayrat
- Daniel Fruminco-dan
- cybai (Haku)CYBAI
- Daniel Díaz Carretedanidiaz
- Dmitry Malikovdmalikov
- Andrejs Agejevsesneko
- Gabriel Volpegvolpe
- i64
- Miloiitalics
- daniel gratzerjozefg
- Juan Bonojuanbono
- Kevin Clancykevinclancy
- Liang-Ting ChenL-TChen
- Miëtek Bakmietek
- Daniel Mendlerminad
- ndcroos
- Niels van der Weidenmvdw
- Philip Zuckerphilzook58
- Paul Laforguephink
- Risto StevcevRisto-Stevcev
- Robert Estellerwe
- Alex AlegreSaityi
- Scott Fleischmanscott-fleischman
- Tobe Osakwethosakwe
- Tim Kerseytkersey
- v217
- Apostolis Xekoukoulotakisxekoukou
- Xavier Van de Woestynexvw
