idris-hackers/software-foundations Stargazers
- Andrea Fioreafiore
- Akhilesh Srikanthakhileshs
- Alexei ZaviruhaAZaviruha
- Xuan Bibixuanzju
- Alex Gryzlovclayrat
- colcord
- aprilcyberglot
- Dean Thompsondeansher
- David Koontzdkoontz
- David Johnsondmjio
- Claudia Doppioslashdoppioslash
- Erlend Hambergehamberg
- Yevhen Smolankaesmolanka
- Alexander Sheleminfuyfuy
- hamletghosthamlet
- James Tindaljames-tindal
- Jan Sjanschultecom
- Jarle Stabelljarlestabell
- Jean-Baptiste G.jbgi
- Guannan WeiKraks
- Lucas Aragnolucas-aragno
- m0rphism
- Matthew Conger-Eldeenm25n
- oemmerson
- Patrick Haenerphaener
- Karthik Ravikantiplumenator
- Risto StevcevRisto-Stevcev
- Romain Ruetschiromac
- Shane DelmoreShaneDelmore
- tablitza
- Jacob Thomas Erringtontsani
- Varun Gandhitypesanitizer
- Victor Borjavic
- Yuri Kizhaevyurlin
- Eric Baileyyurrriq
- Jerzjyjer
