FStarLang/karamel Stargazers
- archaeron
- Alexei ZaviruhaAZaviruha
- Baldvin Dagur Rúnarssonbaldvin
- Zetian Linbctnry
- Catalin Hritcucatalin-hritcu
- Chad ZChadSki
- Christian Pehlecpehle
- Bruno Diasdiasbruno
- Friedrich von NeverForNeVeR
- Fredrik Dyrkellfredyr
- Zhen Zhangizgzhen
- Jonas Bülowjbulow
- Jon Nadaljonnadal
- Juan Bonojuanbono
- Joseph Kinirykiniry
- Logyi, hajnalvédőlojikil
- lyrachordlyrachord
- Lee Wonjoonlyuha
- Mario Rodasmarsam
- Matějmgrabovsky
- Arets Paeglismindbound
- Matt Singletarymsingle
- Newlifer
- Diogo Felixonlurking
- jadonphase
- Karthik Ravikantiplumenator
- Brian McKennapuffnfresh
- Seb Mondetsmondet
- Stephan Renatussrenatus
- Paulo Torrenstakanuva
- Julian Squirestokenrove
- Val Packettvalpackett
- Peng Wangwangpengmit
- yawntyawnt
- Zachary Elliottzellio
- Zoe Paraskevopoulouzoep