GitHub repository: Isti115/agda.nvim
Primary language: Lua
Description: NeoVim plugin for interacting with Agda written in Lua