UlfNorell/agda-bench Stargazers
- Alexander TAleXoundOS
- András KovácsAndrasKovacs
- Anquranqurvanillapy
- Ting-gian LUAbanacorn
- Vadidbolerap
- Fred Fucapfredf
- Tianyu Chencty12
- Lîm Tsú-thuàndannypsnl
- G. Allaisgallais
- Georgi Lyubenovgoogleson78
- Jacques CaretteJacquesCarette
- Liang-Ting ChenL-TChen
- Lane Biocinilane-core
- Nikitanikitavoloboev
- Orestis Melkonianomelkonian
- Scott Fleischmanscott-fleischman
- Tristan de CacquerayTristanCacqueray
- Ilmari Vacklinwolverian