agda/agda-data-bindings Watchers
- Arjen Jonathanajrouvoet
- Andreas Abelandreasabel
- Ting-gian LUAbanacorn
- Daniel Peeblescopumpkin
- Dominique Devriesedominiquedevriese
- eemailme
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- G. Allaisgallais
- Guillaume Brunerieguillaumebrunerie
- Jason HuHuStmpHrrr
- Tesla Zhangice1000
- Jacques CaretteJacquesCarette
- Jesper Cockxjespercockx
- James Cloosjhcloos
- Kyle Raftogianisknrafto
- Liang-Ting ChenL-TChen
- Nicolas Pouillardnp
- Philipp Hausmannphile314
- Robert Estellerwe
- Andrea VezzosiSaizan
- Nathan van DoornTaneb
- Ulf NorellUlfNorell
- Andre KnispelWhatisRT
- Wolfram KahlWolframKahl