agda/agda-spec Stargazers
- abdul dakkakabduld
- beike-zh
- Xuan Bibixuanzju
- Brendan Zabarauskasbrendanzab
- AccessDecodetalkers
- Deyaaeldeen Almahallawideyaaeldeen
- Georgi Lyubenovgoogleson78
- Josh Chenjaycech3n
- Jon Sterlingjonsterling
- daniel gratzerjozefg
- Kamil Adamkamil-adam
- Lucas da Silva Marcoslucasmarcos
- Sergey Kazenyuknvmd
- odomanov
- Olle Fredrikssonollef
- Orestis Melkonianomelkonian
- TwicePragmaTwice
- Laine Taffin Altmanpthariensflame
- Robert Estellerwe
- Michael Mayerschnittstabil
- Scott Fleischmanscott-fleischman
- Steven Shawsteshaw
- Tim Kerseytkersey
- VitalyRVitalyAnkh
- Bay Raktarzraffer
