SRI-CSL/yices2 Stargazers
- Arie Gurfinkelagurfinkel
- Assil Ksiksiaksiksi
- antogerva
- Baldvin Dagur Rúnarssonbaldvin
- Bo-Yuan HuangBo-Yuan-Huang
- Jorge Navascaballa
- Christopher Doegecdminigun
- chubbymaggie
- Claire Wolfcliffordwolf
- cynecxcynecx
- Daniel Pinkdanielpi
- David Bremnerdbremner
- Dejan Jovanovićdddejan
- Xin Wangdram
- Wael El Oraibyeloraiby
- Gonçalo Mendes Cabritagmcabrita
- Dusty DeWeeseHackerFoo
- haze
- Ian A Masonianamason
- Jonas Bülowjbulow
- krisl
- Yi Liliyistc
- lyrachordlyrachord
- Martin Schaefmartinschaef
- Wojciech Miłkowskimilkowski
- mkopras
- Simon Strandgaardneoneye
- Peter "Gus" O'Hanleypeterohanley
- Praveenpr4v33n
- Remigijus Jodelisremigijusj
- Russ Powersrusspowers
- Paulo Torrenstakanuva
- Tancrède Lepointtlepoint
- Tyler Sommertyler-sommer
- Shawnunshorn
- Andrew Zhilinzoon
