agda/agda-spec Watchers
- Andreas Abelandreasabel
- Andrés Sicard-Ramírezasr
- Deyaaeldeen Almahallawideyaaeldeen
- eemailme
- John Leohalfaya
- Josh Chenjaycech3n
- Jesper Cockxjespercockx
- James Cloosjhcloos
- Jon Sterlingjonsterling
- daniel gratzerjozefg
- Kamil Adamkamil-adam
- Larry Diehllarrytheliquid
- Michael McDonaldmjjmcdonald
- Sergey Kazenyuknvmd
- Olle Fredrikssonollef
- Paul GustafsonPaulGustafson
- Laine Taffin Altmanpthariensflame
- Andrea VezzosiSaizan
- Michael Mayerschnittstabil
- Scott Fleischmanscott-fleischman
- Ulf NorellUlfNorell
- Youyou CongYouyouCong