agda/agda-stdlib Stargazers
- Abhishek Anandaa755
- apskii
- Evgenii Kotelnikovaztek
- Balaji Raobalajirrao
- Ben Sinclairbens
- Paolo G. GiarrussoBlaisorblade
- Alex Gryzlovclayrat
- Eric Gallagercooljeanius
- Daniel Peeblescopumpkin
- Colin S. Gordoncsgordon
- Dmitry Malikovdmalikov
- Cliff Harveyfieldstrength
- George Leontievfolone
- Mateusz KowalczykFuuzetsu
- G. Allaisgallais
- Greg Fitzgeraldgarious
- Arseniy Serokajagajaga
- James Chapmanjmchapman
- daniel gratzerjozefg
- Liang-Ting ChenL-TChen
- Marco Maggesimaggesi
- Joakim Öhmanmr-ohman
- Naia Bouscalnbouscal
- Nicolas Pouillardnp
- Sergey Kazenyuknvmd
- Brian McKennapuffnfresh
- Rick Elrodrelrod
- rgoene
- Stephen Diehlsdiehl
- Aistis Raulinaitissheganinans
- Mort Yaosoimort
- Tim Baumanntimjb
- timothytimothyklim
- Ryan Hayesveryfoolish
- Wen Kokkewenkokke
- Jeremy Yallopyallop