agda/agda-web-semantic Stargazers
- AlexanderAlex1OPS
- Angus H.angusshire
- apskii
- Alexandre Rademakerarademaker
- Árpád Tamásiarpadtamasi
- Alan Jeffreyasajeffrey
- awkure
- beike-zh
- Emad Shaabanemadshaaban92
- George Thomasgeorgethomas
- Gyorgy Farkasgyfarkas
- Jonathan Fischoffjfischoff
- Shuji Kinoshitakino3
- Jose Emilio Labra Gayolabra
- Mark Farrellmarkfarrell
- ndcroos
- Rick Murphyrickmurphy
- Rizo Irizo
- Aistis Raulinaitissheganinans
- Sora Morimotosmorimoto
- ST-48-1240162
- Douglas R. MilesTeamSPoon