coq/opam Stargazers
- Abhishek Anandaa755
- Amin Timanyamintimany
- Anton Trunovanton-trunov
- Anil Madhavapeddyavsm
- binaryfleshbinaryflesh
- Xuan Bibixuanzju
- Christian Doczkalchdoc
- Guillaume Claretclarus
- Cole Hudsoncolejhudson
- Darren Lidarrenldl
- Erik Martin-Dorelerikmd
- footearthfootearth
- Jerome Simeonjeromesimeon
- Chenjiegec
- jmitchell
- Li Yaolastland
- Thomas Letanlthms
- Marco Aurélio da Silvamarcoonroad
- Dapoignymereogeometry
- Mark Thommthom
- Mukesh Tiwarimukeshtiwari
- noti0na1noti0na1
- Karl Palmskogpalmskog
- Reiner Dolpreiner-dolp
- Risto StevcevRisto-Stevcev
- Claudio Sacerdoti Coensacerdot
- Samuel Lelièvreslel
- Seb Mondetsmondet
- soraros
- ssun3
- Yuzhong Wensupermartian
- Timothy Bourketbrk
- themattchan
- Frédéric Tuongtuong
- tianvalaxy
- Vincent Laportevbgl