vscoq.nvim

A Neovim client for VsCoq 2 vscoqtop.

MIT License

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

Commit Statistics

Past Year

All Time

Total Commits
40
40
Total Committers
1
1
Avg. Commits Per Committer
40.0
40.0
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
5
5
Time to Close Issues
about 15 hours
about 15 hours
Related Projects
none-ls.nvim

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

30 Aug 2023 1,883
coq_nvim

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

16 Jul 2020 3,508
q-nvim

30 Aug 2024 0
copilot.lua

Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Gith...

02 Apr 2022 2,315
vim-language-server

VImScript language server, LSP for vim script

20 Apr 2019 503
neovim-init.vim

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

14 Oct 2017 1,003
coq-lsp.nvim

Neovim client for coq-lsp

12 Feb 2023 21
vscode-neovim

Vim mode for VSCode, powered by Neovim

31 Oct 2019 5,647
nvimdev.nvim

Neovim plugin for working on Neovim

03 Feb 2017 75
vim-lsp

async language server protocol plugin for vim and neovim

06 Nov 2016 3,001
neovim-lua

Neovim KISS configuration with Lua

29 May 2021 815
go.nvim

G'day Nvimer, Joyful Gopher: Discover the Feature-Rich Go Plugin for Neovim

10 Mar 2021 2,047
nvim-lspconfig

Quickstart configs for Nvim LSP

13 Nov 2019 9,443
nvim-configs

My Neovim configs

31 Aug 2024 1
nvim-jdtls

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

14 Apr 2020 1,078