idris-lang/Idris-dev Stargazers
- Mikhail Glushenkov23Skidoo
- Anupam <|> अनुपमajnsit
- Alan Palanpog
- Andrew Milleramiller
- Arjan Blokzijlarjanblokzijl
- Evgenii Kotelnikovaztek
- Bilal Syed HussainBilalh
- Brian Shiraibrixen
- Tamás Borbélybtomi
- Carter Tazio Schonwaldcartazio
- Daniel Peeblescopumpkin
- Dan Roséndanr
- David Thrane Christiansendavid-christiansen
- Daniel Yokomizodyokomizo
- Edwin Bradyedwinb
- Francisco Ferreirafferreira
- Garrett Blumagbluma
- Hannes Mehnerthannesm
- Ionuț G. Stanigstan
- Irene KnappIreneKnapp
- Joel Burgetjoelburget
- Jon Sterlingjonsterling
- Jens Petersenjuhp
- jwistaria
- kar8nga
- Michal Terepetamichalt
- Miles Sabinmilessabin
- Michael Weißmixis
- Michael Bernsteinmrb
- raichooraichoo
- Sjoerd Visschersjoerdvisscher
- Soeren Roerdensoro
- Hideyuki Tanakatanakh
- Thomas Miedemathomie
- Tim Williamswilltim
- Wojciech Jedynakwjzz