smorimoto/coq-to-ocaml-to-js Stargazers
- Amadeusineamadeusine
- Anton Trunovanton-trunov
- Dimab0oh
- Jiho LeeDPS0340
- Andrejs Agejevsesneko
- frankymacster
- glaukib
- RomanGood4lien
- Masaki MoriHaritaso
- Iago Caldeiraiagocaldeira
- Yuki OkushiJohnTitor
- Yoshiya Hinosawakt3k
- LuizLuiz-Monad
- Alexis H. Munsayaclxsmnsyc
- Marco Aurélio da Silvamarcoonroad
- Medson Oliveiramedson10
- Marcello Serimseri
- Flarenouraellm
- たふみQs-F
- Risto StevcevRisto-Stevcev
- Seb Mondetsmondet
- TrigDeveloper1TrigDevelopment
- Eliaz BobadillaUltiRequiem
- Victor Borjavic
- Vasiliy Yorkinvyorkin
- Oleg Pykhalovwigust