Stargazers
- belamensoLausanne, Vaud, Switzerland
- bestchaiUniversity of British Columbia
- Calvin-LSeattle, WA
- claudiouzelac
- cwgoesγαλαξίας κύκλος
- danhlephuoc
- ebuchmanInformal Systems
- ethanwillis@DanceCardVentures
- EwanDawsonPing Identity
- fuath
- hwayneChicago
- jbkcc
- jesmgMadrid, Spain
- jhvst@Ponkila
- jlu015
- jorpicFormal Methods
- josef-widder
- jveski@Azure
- kape1395@erisata
- kelvich
- liamsi@celestiaorg
- little-arhat@copterust
- lorenzleutgebMax Planck Institute for Informatics
- ludoviccSOPHiA Genetics
- omasanoriJapan, or anywhere else
- otrackTélécom SudParis
- quicquid
- romac@informalsystems
- romanb
- sebastiansturm
- suhr
- timothyklim
- tylaar
- v217
- will62794
- yibityibit