agda/agda Stargazers
- Daniel Kahlenberg573
- abdul dakkakabduld
- Vitalii Akimovawto
- Boris Chernybcherny
- Catalin Hritcucatalin-hritcu
- Chris Lloydchrislloyd
- Danueldanuel
- Daniel Babiakdbabiak
- Nimrod OmerDeadDork
- denisfitz57
- Gregory Malechagmalecha
- Tomh2non
- Marcelo Camargohaskellcamargo
- henryscalahenryscala
- identicalsnowflake
- Jason GrossJasonGross
- daniel gratzerjozefg
- Heikki Johannes Hildénlaserpants
- Logan Montellimard-Bragalogan-montellimard-braga
- Tatsuya Hiroselotz84
- Martin Stone Davism0davis
- Marcus Vinicius Monteiro de Souzamarcusmonteiro
- Mark Farrellmarkfarrell
- Michael Sproulmichaelsproul
- Daniel Mendlerminad
- Nicolas Pouillardnp
- Orlin M Bozhinovorlin
- ruthenium
- seibp
- Shayan Najdshayan-najd
- timothytimothyklim
- TorosFannyTorosFanny
- Rob Svaromodt
- Mitch Kimxavikick
- Pyankova Juliayulya3102
- Courtney Robinsonzcourts