formal-land/coq-of-ocaml Stargazers
- Adrian Maneaadimanea
- Anis Jonischkeitanisjonischkeit
- Anquranqurvanillapy
- Brendan Zabarauskasbrendanzab
- Cem Turancem2ran
- Cazim Hysichysi
- Didier Plaindouxd-plaindoux
- George Pîrleadranov
- eaubin
- Erik Martin-Dorelerikmd
- Andrejs Agejevsesneko
- Yu-Fu Fufuyu0425
- Germán DelbiancogermanD
- gnaggnoyilgnaggnoyil
- Max FanInnovativeInventor
- Juuso Haavistojhvst
- Joomy Korkutjoom
- Yishuai Liliyishuai
- Michele Rivamicheleriva
- André Bianchinikumu
- Jeremy Baeopt9
- patrickhaller
- Philip Zuckerphilzook58
- Paul Laforguephink
- Pomin Wupm5
- Raphaël Cauderlierrafoo
- RyanRyanCargan
- Second Datkesecondwtq
- Seunguk LeeSeungUkLee
- Sora Morimotosmorimoto
- Satoru "Con" Takasimizutakasimiz
- timothytimothyklim
- Jaehwang Jungtomtomjhj
- Vasiliy Yorkinvyorkin
- Xuanrui Qixuanruiqi
- Xavier Van de Woestynexvw