xgrommx/agda-ecosystem Stargazers
- Alex Constandachealinabi
- Artyom Shalkhakovashalkhakov
- Borja Sierraborsiemir
- Allan Lukwagoepicallan
- freeman42xfreeman42x
- glangmead
- Guilherme Silvaguilhermehas
- Imran Malic Settubai-walker
- Ivan Demchenkoivan-demchenko
- ixaxaarixaxaar
- Jeremy W. Shermanjeremy-w
- junji hashimotojunjihashimoto
- Kaid Wongkaid
- Nachonachivpn
- ndcroos
- Yuya Nishiyamansyee
- Orestis Melkonianomelkonian
- Philip Zuckerphilzook58
- Rahul Chhabrarahulc29
- Rintcius Blokrintcius
- Henry Blanchetterybla
- sig selenesigfig
- M Farkas-Dyckstrake
- Tim Kerseytkersey
- Utensilutensil
- v217
- Vitor L CavalcantiVitorLuizC
- Vasiliy Yorkinvyorkin