Watchers
- alanzUK
- AleXoundOSTbilisi, Georgia
- alinabiBoston, MA
- antarestrader
- darrikSweden
- ernadhCisco
- FranklinChenCarnegie Mellon University
- himuraTokyo, Japan
- ivandbarronBunsan.io
- jakltEurope
- janfriGermany
- JmeHsieh
- jorpicFormal Methods
- leomayleomayIntridea
- mks0ffMonoidal Software
- mperrySuncorp
- mwu@Soostone
- narinariTokyo, Japan
- nponeccopBarcelona, Spain
- nushio3RIKEN AICS
- OsagerParis
- oujinliangXiaomi Tech corp.
- PhilonousMalmö, Sweden
- puffnfreshAtlassian
- rakhmadRedhat
- razum2umUnited Kingdom
- rehno-lindequeCircuitHub
- robinbb@Granola-Team
- romac@informalsystems
- rwjc
- sffejPacific NorthWest
- silky@Elaniti
- sledorzeLille, France
- trycatcher
- ttsvetanov42.375486, -71.219070
- ybybzj