FStarLang/VimFStar Stargazers
- Ekho0Ekho
- Adrian Maneaadimanea
- Avesturaavestura
- Caleb Casecalebcase
- Catalin Hritcucatalin-hritcu
- CountNeuromancountneuroman
- Max FanInnovativeInventor
- Jon Schoningjonschoning
- Jorgen Thelinjthelin
- KITAGAWA Yasutakakit494way
- Luke Dunstanlcdunstan
- mad-io
- Roman MelnikovNeftedollar
- ngrimm
- niuezniuez
- Rebin Silvarebinsilva
- Sean P. Myrick V19.1.7.2seanpm2001
- SimonForest
- Timmy Josetimmyjose
- unsoundsystem
- gotohVau1ters
- WhiteBlackGoose