agda/agda Watchers
- Anders HellströmAndersH3
- Andreas Abelandreasabel
- Art ScottArt
- Alan Jeffreyasajeffrey
- Andrés Sicard-Ramírezasr
- Filippo Mariottibarambani
- Igor FedorovBeiZero
- Stuart Gaλebishboria
- Craig Roycroyzor
- cutsea110cutsea110
- Dominique Devriesedominiquedevriese
- eccyaneccyan
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- G. Allaisgallais
- Jason HuHuStmpHrrr
- Jacques CaretteJacquesCarette
- Jaroslav HronJaroslavHron
- Jason GrossJasonGross
- Jesper Cockxjespercockx
- Jevin Swevaljevinskie
- James Cloosjhcloos
- jwaldmann
- Killian Q. ZhuoKDr2
- Kozo Nishidakozo2
- Liang-Ting ChenL-TChen
- Martin Stone Davism0davis
- MatthewDaggitt
- Nils Anders Danielssonnad
- Alexander Ben Nasrallahneosimsim
- S-YOU
- Andrea VezzosiSaizan
- Christian Sattlersattlerc
- Sam Stitesstites
- Tuo Jungtrailblazing
- Ulf NorellUlfNorell
- Apostolis Xekoukoulotakisxekoukou