mmhelloworld/idris-jvm Watchers
- adam-layne-sensmetry
- Adam Smolarekadamsmo
- Rodrigo Bamboobamboo
- Filippo Mariottibarambani
- BartoszBartAdv
- Brandon Elam Barkerbbarker
- eemailme
- hamletghosthamlet
- Gowthaman Basuvarajgowthaman-basuvaraj
- Javier Neirajneira
- Kim StebelKimStebel
- Leif WarnerLeifW
- misha-artyugin
- Marimuthu Madasamymmhelloworld
- Anton GushchaNCrashed
- Martin Mauchnightscape
- pwmedcraft
- Use a better git forgeraingloom
- Rajesh Kumar Thakurrajeshkrthakur
- Risavrisavkarna
- Robert Peszekrpeszek
- Santosh Gokaksantoshgokak
- Simonsimonank
- Oleg Popovthatoleg
- timothytimothyklim
- Abhik Khanratrycatcher
- Yu Xuanchiyuxuanchiadm
- xxxzjhmale