DimaSamoz/agda-soas Stargazers
- Aaron GrayAaronNGray
- Anquranqurvanillapy
- anuyts
- bond15
- Oliver Bračevacbracevac
- Brendan Zabarauskasbrendanzab
- Chris Presseycpressey
- Viccvic
- Lîm Tsú-thuàndannypsnl
- Eric Conlonejconlon
- Yanze Lifunemy
- Guilherme Silvaguilhermehas
- Harrison GrodinHarrisonGrodin
- Jacques CaretteJacquesCarette
- Shengyi Jiangjiangsy
- Joey EremondiJoeyEremondi
- Jon Sterlingjonsterling
- Krzysztof Druciarekkkd26
- Guannan WeiKraks
- Liang-Ting ChenL-TChen
- LapinotLapin0t
- MJGmarcinjangrzybowski
- Max S. Newmaxsnew
- Mark Barbonemb64
- Nguyễn Anh Khoanganhkhoa
- Nikitanikitavoloboev
- Raphael WalklingRWalkling
- Robert Estellerwe
- Aistis Raulinaitissheganinans
- Scott Fleischmansimfleischman
- Tim Kerseytkersey
- Vikraman Choudhuryvikraman
- Ilmari Vacklinwolverian
- Yu-RenYuRen-tw
- Yaozhu Sunyzyzsun
- Aaron Yeoh Cruzzeyonaut