jwiegley/coq-haskell Stargazers
- Abhishek Anandaa755
- abdul dakkakabduld
- Angus H.angusshire
- Chris A.bitemyapp
- Calvin BeckChobbes
- Christian Mariechristian-marie
- colcord
- Dustin JamnerDIJamner
- Dmitry Malikovdmalikov
- Mateusz KowalczykFuuzetsu
- jamisjamiis
- William Casarinjb55
- Joey Doddsjldodds
- Jan Stolarekjstolarek
- Kostia Rk-bx
- antonio nikishaevllelf
- Mitsutoshi Aoemaoe
- Matějmgrabovsky
- Mizunashi Manamizunashi-mana
- Mark Mazumdermmaz
- JustinQuebecisnice
- Quinten Palmerquintenpalmer
- Rick Elrodrelrod
- Ryan Newtonrrnewton
- L WShadowCreator
- Aistis Raulinaitissheganinans
- shouya
- Remy Goldschmidttaktoa
- TheKnarfTheKnarf
- TheLibertyMan
- themattchan
- TheNomadicMonad
- timothytimothyklim
- Sixuan LouTxmszLou
- vapniks
- wrmsrwrmsr