haroldcarr/learn-haskell-coq-ml-etc Stargazers
- Aaron Hall, MBAaaronchall
- abdul dakkakabduld
- George Takumi Craryadpextwindong
- Akiomi KAMAKURAakiomik
- Alexander TAleXoundOS
- Sam Liaoarsane
- ArthurArthurVard
- B. Soaresbasoares
- Guo P. Chenchenpeizhi
- ckagana
- clojjclojj
- Damien Egancmvhphypy
- Dmitrij Koniajevdimchansky
- eduardo morangoedvmorango
- L.A.eleagece
- Hans Roland Sennhansroland
- hgyehgye
- Heneli Kailahihkailahi
- rwxHongbinZhou
- jellyjellyr
- John BannisterJohnBannister
- Jonathan Kingjonathanlking
- Lisandralisandrasilva
- Efe AriarooLispyAriaro
- Mathew Koshymatkoshy
- Olivier Verdierolivierverdier
- Paul Englishpaul-english
- Yaorpip
- themattchan
- Tridu33
- Tristan de CacquerayTristanCacqueray
- vishnur
- Denis Stoyanovxgrommx
- Eric Baileyyurrriq
- Zaki Mughal [sivoais]zmughal