oisdk/agda-ring-solver Stargazers
- Максим Сохацький5HT
- Andrewaevista
- Anquranqurvanillapy
- Anton Trunovanton-trunov
- beike-zh
- Paolo G. GiarrussoBlaisorblade
- Bryan Gin-ge Chenbryangingechen
- Sam Breesechameco
- citrusmunch
- Alex Gryzlovclayrat
- Deyaaeldeen Almahallawideyaaeldeen
- Julioear7h
- edoak
- Andrejs Agejevsesneko
- G. Allaisgallais
- Georgi Lyubenovgoogleson78
- .isomorphistic
- ixaxaarixaxaar
- Lorenzo Clclem
- lmLinuxMercedes
- Mario Románmroman42
- Mukesh Tiwarimukeshtiwari
- Markus Wageringelmwageringel
- Donnacha Oisín Kidneyoisdk
- Philip Zuckerphilzook58
- Robert Estellerwe
- Scott Fleischmanscott-fleischman
- Shreck YeShreckYe
- soraros
- Alexey Ugnichevthaewrapt
- themattchan
- timothytimothyklim
- Tim Kerseytkersey
- Warren D Hattonwrrnhttn
- Yiyun Liuyiyunliu
- Zarakzarak