agda/bitvector Watchers
- Nicolas Pouillardnp
- Samuel Gélineaugelisam
- Robert Estellerwe
- Ulf NorellUlfNorell
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- James Chapmanjmchapman
- Guillaume Brunerieguillaumebrunerie
- Ting-gian LUAbanacorn
- James Cloosjhcloos
- G. Allaisgallais
- Andreas Abelandreasabel
- Dominique Devriesedominiquedevriese
- Philipp Hausmannphile314
- Jacques CaretteJacquesCarette
- Jesper Cockxjespercockx
- Frederik Hanghøj Iversenfredefox
- John Leohalfaya
- Wolfram KahlWolframKahl
- Tesla Zhangice1000
- eemailme