coq-community/hydra-battles Stargazers
- Daniel Kahlenberg573
- Ana de Almeida Borgesana-borges
- Eric Reedanasazi
- Anton Trunovanton-trunov
- Roman Hossain ShaonAppServiceProvider
- a~atilde
- Austinaustinmccalley
- Ayberk Tosunayberkt
- AYUSHMIT
- BalanceYan
- codyroux
- Clément Pit-Claudelcpitclaudel
- Chris Presseycpressey
- DanielDanilaFe
- Irene Yooneuisuny
- ghuysmans
- Kathyhoudamouhcine
- Shengyi Jiangjiangsy
- Juan C.JuanCoRo
- Minki Chominkiminki
- Modottemodotte
- Nikitanikitavoloboev
- Jason Wilkesnotarealdeveloper
- oslvbo
- PDP-11
- Pejvan Beiguipejvan
- sailfish009
- Shuyang LiuShuyangLiu
- sysi4thsisy4th
- Seb Mondetsmondet
- Sora Morimotosmorimoto
- Jeremy Damourstart974
- Laurent Thérythery
- Vladimir Ivanovvonavi
- Xavier Van de Woestynexvw
- Yasutaka ATARASHIyak1ex
