Stargazers
- benjaminfjonesAWS
- bionicles@BitPharma
- bobotCEA LIST
- BrunoDutertre@awslabs Amazon
- c-cubeImandra (@imandra-ai)
- caballaCertora
- daemontusSlovakia
- dddejanNew York, NY
- dillonhuff
- distephSRI International
- fuqi-jiaInstitute of Software Chinese Academy of Sciences
- halsten
- ianamasonSRI International
- ipapushaSubgradient, Inc.
- jeandudeySpain
- kammoh@GMUCERG
- kanpekiAntwerp, Belgium
- Koubska
- legendtang
- leowang1225bytedance
- maksleventalAMD
- marciopocebon
- mesibomesibo
- MoisanQuebec city, QC, Canada
- monadius
- omasanoriJapan
- philzook58Draper
- rrika
- sambacha@manifoldfinance
- shaunharkerNew Jersey
- sizur
- spaceships
- vale1410Isotronic GmbH / University of Potsdam
- valmont2k
- zaimoni
- zmughalWashington, D.C. - Baltimore, Maryland area, United States of America, Earth, Galactic Sector ZZ9 Plural Z Alpha