agda/cubical Watchers
- 3abc
- Igor FedorovBeiZero
- lilithbottomtype
- Datoclement
- Evan Cavalloecavallo
- eemailme
- Felix Cherubinifelixwellen
- Jae-woo KimJaewooKim0
- James Cloosjhcloos
- llllvvuu-watcher
- MJGmarcinjangrzybowski
- Martin Escardomartinescardo
- MatthewDaggitt
- Matthias HutzlerMatthiasHu
- microwaved-coffee
- Anders Mörtbergmortberg
- mzeuner
- Nathaniel Carrollpotato4444
- Rahul Chhabrarahulc29
- Sean P. Myrick V19.1.7.2seanpm2001
- skmdx
- Iansubttle
- Tim Cherganovtimcherganov
- Tom Houlétomhoule
- Kazunari Tanakatzskp1
- Ulrik BuchholtzUlrikBuchholtz
- LZ91XZL91
