banacorn/agda-mode Stargazers
- Andrej Bauerandrejbauer
- Andy Panandy0130tw
- 唐鳳audreyt
- Ting-gian LUAbanacorn
- Vilem Liepeltbuggymcbugfix
- Scott Chengchengscott
- cnd
- Tianyu Chencty12
- Enskyensky
- Dmitrii Kravchenkoequivalence1
- freeman42xfreeman42x
- G. Allaisgallais
- Sandra Dylusichistmeinname
- ilya-klyuchnikov
- ixaxaarixaxaar
- Jonathan Boiserjonboiser
- Kyoko KADOWAKIkdxu
- Shuji Kinoshitakino3
- Kyle Raftogianisknrafto
- Liang-Ting ChenL-TChen
- Wu Lianglwoo1999
- Marcus Vinicius Monteiro de Souzamarcusmonteiro
- Marko Koleznikmarkokoleznik
- Miëtek Bakmietek
- Nicolas Pouillardnp
- Laine Taffin Altmanpthariensflame
- Robert Estellerwe
- satzzsatzz
- Shin-Cheng Muscmu
- jksectore
- Sebastian Grafsgraf812
- Siddhartha Gadgilsiddhartha-gadgil
- Steven Shawsteshaw
- Tai An Sutaiansu
- Ramana Venkatavramana
- Zehao Chenzehaochen19