Boolector/boolector Stargazers
- Aman Goelaman-goel
- Andrew V. Teyluaytey
- babooppa6babooppa6
- Ben Marshallben-marshall
- Cole Hudsoncolejhudson
- Shawncsy1234
- Divesh Uttamchandanidiveshuttam
- David Thomasdpt
- Ferhat Erataferhaterata
- Yu-Fu Fufuyu0425
- GJDuck
- Augusto Hackhackaugusto
- Mohamed Saherhalsten
- humeafo
- James Bornholtjamesbornholt
- jasonrothfuss
- Jay Bosamiyajaybosamiya
- Jakub Błaszczykjblaszczyk
- Jack Feserjfeser
- Joan EspasaJoanEspasa
- Luis Gutierrezlcgutierrez
- AcharyaM1doriya
- manu38gre
- Marco Gariomarcogario
- meyirameyira
- Mikhail R. Gadelhamikhailramalho
- phlo
- rainoftime
- Adrián Ranearanea
- sjcappella
- Souhardya SardarSouhardya
- speeeday
- Max MarroneSyntaxColoring
- zeroWill-cert
- Limin Wang @wlmnzfwlmnzf
- Wong Wai Tuckwongwaituck