agda/agda-web-semantic Watchers
- Arjen Jonathanajrouvoet
- Andreas Abelandreasabel
- Alan Jeffreyasajeffrey
- Ting-gian LUAbanacorn
- Daniel Peeblescopumpkin
- Dominique Devriesedominiquedevriese
- eemailme
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- G. Allaisgallais
- 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
- Douglas R. MilesTeamSPoon
- Wolfram KahlWolframKahl