Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Repository Index
47,133 repositories indexed
49–72 of 82 · Most stars
The @vlang language server, for all your editing needs like go-to-definition, code completion, type hints, and more.
- bindings
- language-server
- lsp
- lsp-server
A small plugin that uses neovims virtual text to print git blame info at the end of the current line.
Eclipse Platform - a comprehensive set of frameworks and common services that collectively provide a powerful software development infrastructure.
- eclipse
- java
NeoVim plugin with which you can track the time you spent on files, projects, repos, filetypes
R-IDE: Make Sublime Text a perfect IDE for R
PICO-8 Language Server
Markdown preview for neovim using pandoc and live-server
An unofficial collection of linters and formatters configured for diagnostic-languageserver for neovim.
- nvim
- nvim-plugin
- lua
- nvim-lsp
The continuous feedback plugin for JetBrains IDEs
- jetbrains-plugin
- feedback-driven-development
- observability
- monitoring
Friendly developer tools for Nvim - Code Actions LSP server and library
- lsp
- lsp-server
- neovim
- neovim-plugin
A simple popup display that provides breadcrumbs feature using LSP server
A Neovim plugin to integrate Gemini CLI well (+ Qwen-code now)
- gemini-cli
- ide-integration
- lua
- nvim
Neovim plugin for ccls language server. Leverages off-spec extensions to LSP client with AST browser
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
Vala and Genie integration for Visual Studio Code/VSCodium/Code-OSS
One local, searchable index of your AI coding-agent history Claude Code, Codex, Cursor, Gemini & more. Keyword + semantic search, MCP server, CLI & VS Code extension.
A Lua language server add-on for writing PICO-8 code in an external editor
- lua
- pico8
- picotron
- vscode
The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter
Layout preserving buffer deletion.
Modern alternative to the plugin mason-null-ls with support for external sources.
- language-server-protocol
- nvim-lsp
- nvim-plugin
- nvim-plugins
NeoVim plugin with which you can check the price of your favourite cryptos
A simple luv-based development server with live reloading for Neovim.
- neovim
- neovim-plugin
- live-server
- live-reload
fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.