What is currently the most usable plugin for using Agda with Vim/Nvim?

• nvim-agda

  1 33 1.8 Lua

  Agda interaction pluging for neovim

Just did a quick search on Google and I found this: https://github.com/ashinkarov/nvim-agda

• agda-vim

  2 128 0.0 Vim Script

  Agda interaction in vim

Here is another one: https://github.com/derekelkins/agda-vim

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• cornelis

  2 127 6.5 Haskell

  agda-mode for neovim

cornelis is agda-mode, but for neovim. It's written in Haskell, which means it's maintainable and significantly less likely to bit-rot like any vimscript/lua implementations.

Suggest a related project