coq-community/vscoq Stargazers
- Elliot Cameron3noch
- Anton Trunovanton-trunov
- Paolo G. GiarrussoBlaisorblade
- Brendan Zabarauskasbrendanzab
- Thomas CarottiCarotti
- Guillaume Claretclarus
- Alex Gryzlovclayrat
- TwilinessDarkHighness
- Derek WangDerek-Wds
- Andrejs Agejevsesneko
- Evan Hubingerevhub
- Fangke Yefkye
- Enrico Tassigares
- Sandra Dylusichistmeinname
- katshun0307
- Christopher Blanchardlambdaxymox
- Marco Maggesimaggesi
- Massimo Tisimassimotisi
- Matějmgrabovsky
- minaminaominaminao
- Nik Jmaeffnjmaeff
- :)Octogonapus
- Odomontois
- Samuel Chasesamebchase
- Scott Fleischmanscott-fleischman
- Jiuyang Liusequencer
- Skywardskywardpixel
- Seb Mondetsmondet
- soraros
- Tolegen Izbassart-izbassar
- Tej Chajedtchajed
- Théo WinterhalterTheoWinterhalter
- Tim Kerseytkersey
- varosi
- yiyishibashi
- Théo ZimmermannZimmi48