felixwellen/DCHoTT-Agda Stargazers
- Максим Сохацький5HT
- abdul dakkakabduld
- Gabriel Andersonandgate
- antonlogvinenko
- awkure
- ayshvab
- Daviddavidwebstar34
- Leo Gorodinskieulerfx
- favoniafavonia
- glangmead
- Gleb Mazovetskiyglebm
- Ingo Blechschmidtiblech
- ixaxaarixaxaar
- Jon Sterlingjonsterling
- John Soojsoo1
- Julian QuastJulianQuast
- Sergei StepanenkoKaptch
- Kristoffer Josefssonkejace
- Christopher Blanchardlambdaxymox
- Matt Earnshawmattearnshaw
- Max S. Newmaxsnew
- Soham Chowdhurymrkgnao
- Mario Románmroman42
- Mitchell Rileymvr
- Pascal SommerPascal-So
- Laine Taffin Altmanpthariensflame
- Rick Elrodrelrod
- Raymond Finzelrfinz
- Scott Fleischmanscott-fleischman
- Remy Goldschmidttaktoa
- themattchan
- Tim Kerseytkersey
- Vikraman Choudhuryvikraman
- Vanessa McHalevmchale
- Warren D Hattonwrrnhttn
- Denis Stoyanovxgrommx
