agda/agda2hs Stargazers
- 9032676a9032676
- Aaron Allenaaronallen8455
- Anquranqurvanillapy
- Roman Hossain ShaonAppServiceProvider
- auwjong22
- beike-zh
- CrikiCriterionist
- cybai (Haku)CYBAI
- Lîm Tsú-thuàndannypsnl
- Dixit Sabharwaldxts
- effectfully
- Winklerfalcowinkler
- Lucas Escotflupe
- fwcdfwcd
- Alexander Chichigingabriel-fallen
- gakada
- John Leohalfaya
- Guanpeng Xuherberteuler
- Tesla Zhangice1000
- Sandra Dylusichistmeinname
- Jacques CaretteJacquesCarette
- Jesper Cockxjespercockx
- Joomy Korkutjoom
- KAAAsSkaaass
- Liang-Ting ChenL-TChen
- Lex van der Stoeplexvanderstoep
- Liqing Yangliqing-yang
- Nicolas Pouillardnp
- Orestis Melkonianomelkonian
- Paul Youngpaulyoung
- Raptazureraptazure
- Scott Fleischmansimfleischman
- smurphy8
- Tim Kerseytkersey
- Victor Cacciari MiraldoVictorCMiraldo
- Ilmari Vacklinwolverian