coq-lsp.nvim

Neovim client for coq-lsp

MIT License

Stars
21
Committers
1
View Code on GitHub
Ecosystems: Coq, Neovim

Commit Statistics

Past Year

All Time

Total Commits
7
36
Total Committers
1
1
Avg. Commits Per Committer
7.0
36.0
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
2
6
Time to Close Issues
about 1 month
27 days
Related Projects
vim-language-server

VImScript language server, LSP for vim script

20 Apr 2019 503
none-ls.nvim

null-ls.nvim reloaded / Use Neovim as a language server to inject LSP diagnostics, code actions, ...

30 Aug 2023 1,883
nvim-configs

My Neovim configs

31 Aug 2024 1
neovim-lua

Neovim KISS configuration with Lua

29 May 2021 815
nvim-lspconfig

Quickstart configs for Nvim LSP

13 Nov 2019 9,443
neovim-init.vim

A hybrid Neovim configuration for productive developers who want a functional yet aesthetic Vim e...

14 Oct 2017 1,003
vscoq.nvim

A Neovim client for VsCoq 2 vscoqtop.

02 Oct 2023 6
phpactor.nvim

Lua version of the Phpactor vim plugin to take advantage of the latest Neovim features

23 Jun 2022 69
nvchad

My nvchad 2.5 config for Neovim

05 Dec 2023 2
Neovim

📝 My Neovim Config

04 Feb 2022 6
vim-lsp

async language server protocol plugin for vim and neovim

06 Nov 2016 3,001
nvimdev.nvim

Neovim plugin for working on Neovim

03 Feb 2017 75
nvim-jdtls

Extensions for the built-in LSP support in Neovim for eclipse.jdt.ls

14 Apr 2020 1,078
neovim-config

My Neovim setup

25 Jan 2011 18
nvimdots

A well configured and structured Neovim.

19 Jun 2021 2,910