agda/agda-frp-js Watchers
- Arjen Jonathanajrouvoet
- Andreas Abelandreasabel
- Alan Jeffreyasajeffrey
- Ting-gian LUAbanacorn
- Daniel Peeblescopumpkin
- Dominique Devriesedominiquedevriese
- Claudia Doppioslashdoppioslash
- eemailme
- Frederik Hanghøj Iversenfredefox
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- G. Allaisgallais
- Guillaume Brunerieguillaumebrunerie
- John Leohalfaya
- Jason HuHuStmpHrrr
- Tesla Zhangice1000
- Jacques CaretteJacquesCarette
- Jesper Cockxjespercockx
- James Cloosjhcloos
- James Chapmanjmchapman
- Joomy Korkutjoom
- Kamil Adamkamil-adam
- Kyle Raftogianisknrafto
- Liang-Ting ChenL-TChen
- Rui Azevedoneu-rah
- Nicolas Pouillardnp
- Orlin M Bozhinovorlin
- Philipp Hausmannphile314
- Rudi Grinbergrgrinberg
- Roly Pererarolyp
- Robert Estellerwe
- Andrea VezzosiSaizan
- Nathan van DoornTaneb
- Ulf NorellUlfNorell
- Andre KnispelWhatisRT
- Wolfram KahlWolframKahl