3 repositories on SrcLog
agda-mode on VS Code
agda-mode on Atom
Agda language support for the Atom editor