idris-hackers/software-foundations Watchers
- adhalanay
- Adrian Brinkadrianbrink
- Dimab0oh
- bbarkerro
- Z. Liuclan
- Alex Gryzlovclayrat
- David Thrane Christiansendavid-christiansen
- Claudia Doppioslashdoppioslash
- Dmytro SirenkoEarlGray
- eemailme
- Erlend Hambergehamberg
- Danielectricfirefly
- foreverbellforeverbell
- Franklin ChenFranklinChen
- hihihirokane
- István Donkóisti115
- James Cloosjhcloos
- Jiamojiamo
- Jürgen Nicklischjutaro
- Markus Pfeiffermarkuspf
- Matthew Piziakmatthew-piziak
- Imre Dávid KosztkaNonius
- Brian McKennapuffnfresh
- Risavrisavkarna
- rodlogic
- Lizzie Dixonstartling
- von_glodvonglod
- Wismillwismill
- Eric Baileyyurrriq
- Zhang Kaizhaozhangkaizhao