Lobsters
- coq_nvim: Fast nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization https://github.com/ms-jpq/coq_nvim 26 comments vim
- Coq + LSP crashing https://github.com/ms-jpq/coq_nvim 2 comments neovim
- What have you discovered lately that sparked joy in your Neovimmer life? https://github.com/ms-jpq/coq_nvim 62 comments neovim
Linking pages
- GitHub - ms-jpq/chadtree: File manager for Neovim. Better than NERDTree. https://github.com/ms-jpq/chadtree 191 comments
- GitHub - rockerBOO/awesome-neovim: Collections of awesome neovim plugins. https://github.com/rockerBOO/awesome-neovim 117 comments
- GitHub - nvim-lua/completion-nvim: A async completion framework aims to provide completion to neovim's built in LSP written in Lua https://github.com/nvim-lua/completion-nvim 58 comments
- GitHub - junnplus/lsp-setup.nvim: A simple wrapper for nvim-lspconfig and mason-lspconfig to easily setup LSP servers. https://github.com/junnplus/nvim-lsp-setup/ 27 comments
- GitHub - nvim-lua/completion-nvim: A async completion framework aims to provide completion to neovim's built in LSP written in Lua https://github.com/haorenW1025/completion-nvim 24 comments
- GitHub - folke/lazydev.nvim: Faster LuaLS setup for Neovim https://github.com/folke/lazydev.nvim 14 comments
- GitHub - Saecki/crates.nvim: A neovim plugin that helps managing crates.io dependencies https://github.com/Saecki/crates.nvim 11 comments
- GitHub - brianaung/compl.nvim: Async code auto-completion for Neovim. https://github.com/brianaung/compl.nvim 10 comments
- GitHub - ms-jpq/coq.thirdparty: Module lua sources for `coq.nvim`, first & third party https://github.com/ms-jpq/coq.thirdparty 9 comments
- GitHub - RicardoRamirezR/blade-nav.nvim: Navigating Blade views within Laravel projects https://github.com/RicardoRamirezR/blade-nav.nvim 8 comments
- NeoVim LSP with Intelephense for PHP and WordPress (and others) - Daniele Mte90 Scasciafratte https://daniele.tech/2021/07/neovim-lsp-with-intelephense-for-php-and-wordpress-and-others/ 6 comments
- GitHub - nvim-lua/completion-nvim: A async completion framework aims to provide completion to neovim's built in LSP written in Lua https://github.com/nvim-lua/completion-nvim.git 4 comments
- GitHub - RicardoRamirezR/blade-nav.nvim at inertia-beta-1 https://github.com/RicardoRamirezR/blade-nav.nvim/tree/inertia-beta-1 0 comments
Linked pages
- GitHub - neovim/nvim-lspconfig: Quickstart configs for Nvim LSP https://github.com/neovim/nvim-lspconfig 218 comments
- GitHub - ms-jpq/chadtree: File manager for Neovim. Better than NERDTree. https://github.com/ms-jpq/chadtree 191 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- GitHub - snipsnapdev/snipsnap: Speed up your development with a powerful set of tools https://github.com/snipsnapdev/snipsnap 84 comments
- Nerd Fonts - Iconic font aggregator, glyphs/icons collection, & fonts patcher https://nerdfonts.com/ 76 comments
- GitHub - fatih/vim-go: Go development plugin for Vim https://github.com/fatih/vim-go 74 comments
- GitHub - lervag/vimtex: VimTeX: A modern Vim and neovim filetype plugin for LaTeX files. https://github.com/lervag/vimtex 46 comments
- GitHub - nvim-orgmode/orgmode: Orgmode clone written in Lua for Neovim 0.7+. https://github.com/kristijanhusak/orgmode.nvim 41 comments
- GitHub - typescript-language-server/typescript-language-server: TypeScript & JavaScript Language Server https://github.com/typescript-language-server/typescript-language-server#initializationoptions 27 comments
- GitHub - mfussenegger/nvim-dap: Debug Adapter Protocol client implementation for Neovim https://github.com/mfussenegger/nvim-dap 23 comments
- GitHub - rafamadriz/friendly-snippets: Set of preconfigured snippets for different languages. https://github.com/rafamadriz/friendly-snippets 17 comments
- GitHub - ms-jpq/coq.thirdparty: Module lua sources for `coq.nvim`, first & third party https://github.com/ms-jpq/coq.thirdparty 9 comments
- GitHub - ms-jpq/isomorphic_copy: Cross platform clipboard | networkless! remote copy https://github.com/ms-jpq/isomorphic-copy 1 comment
- GitHub - xabikos/vscode-react: Contains the code snippets for Reactjs development in VS Code editor https://github.com/xabikos/vscode-react 0 comments
- GitHub - ms-jpq/sad: CLI search and replace | Space Age seD https://github.com/ms-jpq/sad 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - ms-jpq/coq_nvim: Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
See how to search.