Stargazers
- aa755Miami, FL, USA
- aa755msrMicrosoft Research (summer 2015 only)
- abevoelkernorthern Wisconsin
- clarusFormal Land
- collinnj
- edtechdev
- ejgallegoInria
- EnSec4Git
- erichoceanXy Group Ltd
- EvgenyMakarov
- fritzoSocial Cognitive Machines
- glug
- hierophantos
- iskedkIske.dk
- jack-pappasPhiladelphia, PA, USA
- jmbrSan Francisco Bay Area, California
- jmitchellSeattle
- jnarbouxUniversité Paris Cité
- langston-barrett@GaloisInc
- liutanyu
- morusleafAlibaba
- ndcroos
- nilqedCH
- olivierverdierMathematician
- Pet3risAuditless
- progerSupercomputer City
- relrodRed Hat, Inc.
- rubenbarrosoGoogle
- siddhartha-gadgilIndian Institute of Science
- smondetNew York, NY
- spittersAarhus University
- TorosFanny
- wangpengmitMIT CSAIL
- wiresStatebox
- wrrnhttn
- WuTheFWasThat