mmhelloworld/idris-jvm Stargazers
- Adam Wyłudaadam-wyluda
- Adam Smolarekadamsmo
- Akhilesh Srikanthakhileshs
- Balaji Raobalajirrao
- brezal
- Alex Gryzlovclayrat
- cnd
- Daniel Miladinovdanielmiladinov
- Diogo Castrodcastro
- 爱可可-爱生活fly51fly
- Jonas Bennfreddie-freeloader
- Jay C Stileshobwekiva
- Ian RamosIanRamosC
- Jürgen Keckj-keck
- Jean-Baptiste G.jbgi
- Jan de Muijnck-Hughesjfdm
- Jon Schoningjonschoning
- Rahul Goma Phuloremissingfaktor
- Binh Nguyenngbinh
- nv-vn
- Brian McKennapuffnfresh
- James Sandridgeradicaljims
- Rahul Muttinenirahulmutt
- Rick Elrodrelrod
- Romain Ruetschiromac
- Sam Thomsonsammthomson
- Santosh Gokaksantoshgokak
- Shane DelmoreShaneDelmore
- shiyaz
- Steven Shawsteshaw
- timothytimothyklim
- Toby Leetobywb
- Victor Borjavic
- kenji yoshidaxuwei-k
- yawntyawnt
- Eric Baileyyurrriq