coq-community/manifesto Stargazers
- agnosticlines
- Junyan Xualreadydone
- Amin Timanyamintimany
- Anton Trunovanton-trunov
- Pierre CastéranCasteran
- Guillaume Claretclarus
- Cyril CohenCohenCyril
- lilycryslith
- Darren Lidarrenldl
- Lef Ioannidiselefthei
- Erik Martin-Dorelerikmd
- Eugene LoyEugeneLoy
- Sandra Dylusichistmeinname
- Joomy Korkutjoom
- jrepan
- John Soojsoo1
- junji hashimotojunjihashimoto
- Langston Barrettlangston-barrett
- Matthew Piziakmatthew-piziak
- Mukesh Tiwarimukeshtiwari
- Nikita Eshkeevneshkeev
- Pedro Abreupedrotst
- puyol
- Andrew Prenticescalarwaves
- Seb Mondetsmondet
- soraros
- SorinSSorinS
- Bas Spittersspitters
- themattchan
- Tim Kerseytkersey
- Vincent Laportevbgl
- voila
- Vasiliy Yorkinvyorkin
- Warren D Hattonwrrnhttn
- Xavier Van de Woestynexvw
- Théo ZimmermannZimmi48