FStarLang/karamel Watchers
- Abhishek Anandaa755msr
- Antoine Delignat-Lavaudad-l
- Aseem Rastogiaseemr
- Aseem Rastogiaseemr-msr
- Benjamin Beurdouchebeurdouche
- C For C's Sakecfcs
- Christian Nyumbayirechritchens
- Danel Ahmandanelahman
- darrenge
- eemailme
- fournet
- Friedhold MatzFxztam
- Gabriel Ebnergebner
- Jake SilvermanJakeSilverman
- Frank Denisjedisct1
- Jevin Swevaljevinskie
- James Cloosjhcloos
- karthikbhargavan
- Jonathan Protzenkomsprotz
- Guido Martínezmtzguido
- Michael Hicksmwhicks1
- mwhicks1-MSR
- nicoonbraud
- Nick Giannarakisnickgian
- nikswamy
- pbranforn
- Inria Prosecco Admin (Karthik)prosecco
- Jonathan Protzenkoprotz
- Qunyan Mangusqunyanm
- Aymeric FromherzR1kM
- Santiago Zanella-Beguelins-zanella
- Théo Laurenttheolaurent
- timothytimothyklim
- vkanne-msft
- Peng Wangwangpengmit
- David Thorpeweebs