coq/coq Stargazers
- Mikhail Glushenkov23Skidoo
- Andrej Bauerandrejbauer
- Anil Madhavapeddyavsm
- Benedikt Meurerbmeurer
- Thomas Braibantbraibant
- Cameron Smithcameronraysmith
- cnd
- Daniel R. GraysonDanGrayson
- David Sheetsdsheets
- Anh-Dung Phandungpa
- xgemctoo
- Eduardo Pareja Tobeseparejatobes
- Edward Z. Yangezyang
- Enrico Tassigares
- Geoff Hillgeoffhill-zz
- Robin Greengreenrd
- Han Wanghanw
- François Garillothuitseeker
- Jason GrossJasonGross
- Jason Walshjwalsh
- laanwj
- Roma Sokolovlittle-arhat
- Tan-Yu Liuliutanyu
- Marco Maggesimaggesi
- Orpheus Lummisorpheuslummis
- Petter A. Urkedalpaurkedal
- Pierre Boutillierpirbo
- Raphael Speyerrapha
- rickyclarkson
- Robbert Krebbersrobbertkrebbers
- Thomas Gazagnairesamoht
- Seb Mondetsmondet
- Tianyi Cuitianyicui
- Dave Kingtildedave
- Jelle Heroldwires
- Siraaj Khandkarxandkar