FStarLang/FStar Stargazers
- Mikhail Glushenkov23Skidoo
- Antonio Jr. Mattosantonioj-mattos
- Robin Taylorbadgermind
- becojo
- Serhii Yavnyiblacktaxi
- Pradeep Gowdabtbytes
- Carter Tazio Schonwaldcartazio
- Colin S. Gordoncsgordon
- Dimitur Krustevdkrustev
- Anh-Dung Phandungpa
- efotin
- Leo Gorodinskieulerfx
- Janfride
- Jack Pappasjack-pappas
- Jon Sterlingjonsterling
- Natallie Baikevichluajalla
- Mauricio Scheffermausch
- Martin Szarskimszarski
- Mukesh Tiwarimukeshtiwari
- Nada Aminnamin
- Gaston Cababienelak
- Owain Lewisowainlewis
- Nick Palladinospalladin
- perveziqbal
- Pawel Kasperekpkasperek
- Karthik Ravikantiplumenator
- Brian McKennapuffnfresh
- raichooraichoo
- Rick Elrodrelrod
- Quilrobotlolita
- Jérémie Chassaingthinkbeforecoding
- Martin Schinzthinktainer
- Austin Seippthoughtpolice
- Will SmithTIHan
- tluyben
- Yuri Kizhaevyurlin