agda/agda-language-server Stargazers
- Andrew Hlynskyiahlinc
- Ailrkailrk
- Akiomi KAMAKURAakiomik
- Alok Singhalok
- Anquranqurvanillapy
- beike-zh
- celsocelsobonutti
- Lîm Tsú-thuàndannypsnl
- Daviddavid9991
- fwcdfwcd
- Tesla Zhangice1000
- Jacek Karwowskiinexxt
- intsuc
- Jonathan OsserInvisible-Rabbit-Hunter
- Jan Mas Rovirajanmasrovira
- Liang-Ting ChenL-TChen
- Leo Langerleolanger
- MesablooMesabloo
- Nikitanikitavoloboev
- OftenGuyOftenUser
- Orpheus Lummisorpheuslummis
- Philip Zuckerphilzook58
- たふみQs-F
- quewean
- Robert Estellerwe
- Schrodinger ZHU YifanSchrodingerZhu
- shuhungshhyou
- ShikChen
- Stefan Pavikevikspavikevik
- Sgsuica
- Tim Kerseytkersey
- Thomas Cummingtomcumming
- Tom Houlétomhoule
- Ilmari Vacklinwolverian
- Andrea Amantinizampino
- Viktor LinZekt