joaomilho/awesome-idris Stargazers
- Arthur Xavierarthurxavierx
- Arto Bendikenartob
- Asif Patelasifrpatel
- Nicolas Biriberewt
- Adam Bergmarkbergmark
- Christian Nyumbayirechritchens
- Alex Gryzlovclayrat
- aprilcyberglot
- Cheng Zhangczhang03
- Dan Connollydckc
- decentral1se
- devdoomaridevdoomari
- Claudia Doppioslashdoppioslash
- Erlend Hambergehamberg
- Eugene Kalininekalinin
- Giovanni Martinsgiovannism20
- Giovanni Ruggierogruggiero
- Tomer ShalevHendrixString
- Yo Lulkinjoaomilho
- Dotan J. Nahumjondot
- Joomy Korkutjoom
- Josh Burgessjoshburgess
- Juhajuhalehtonen
- Kamil Chmielewskikamilchm
- kammitama5
- Dmitrii Manikmanik1337
- MBmarceloboeira
- Ronennarkisr
- Tommy BrunnNevon
- Martin Mauchnightscape
- Paulo Ragonhapirelenito
- Rodrigo Navarroreu
- Bocheng Zhourischimart
- Risto StevcevRisto-Stevcev
- Vincent Hanquezvincenthz
- Fernando Via Canelxaviervia
