Visual Studio Code extension for Rocq
Repository Index
57,138 visible repositories in the index
49–72 of 100 · Most stars
Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.
A multi-cursor plugin for Neovim that works in normal, insert/replace, or visual modes, and with almost every command
- neovim
- multicursor
- neovim-plugin
V Language extension for Visual Studio Code.
- v
- vlang
- vscode
- extension
Pascal language extension for Visual Studio Code
- pascal
- delphi
- freepascal
- vscode
Visualize your Markdown as mindmaps with markmap
Port of Vesper theme from Visual Studio Code to Neovim.
- colorscheme
- dark-theme
- neovim-colorscheme
- nvim-colorscheme
:crescent_moon: A modern black neovim theme written in Lua, with comfortable color contrast for a pleasant visual experience, with LSP and treesitter support
- colorscheme
- lua
- neovim
- theme
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A `neovim` theme that highly restores `vscode`, so that your friends will no longer be surprised that you use `neovim`, because they will think you are using `vscode` ..
Clojure support for Visual Studio Code
- clojure
- vscode
- nrepl
- autocomplete
ForceCode is a Visual Studio Code extension for Salesforce development
Distro agnostic components for your Neovim heirline config
A mode to facilitate interactive data visualization using Vega from within emacs
Visual Studio Code extension to explore and manage your Firebase projects
Visual Integration Designer for Apache Camel
- camel
- camel-k
- apache-camel
- integration
Visualize Go struct and interface implementations
[WIP] A JSX-based UI builder for auto generate code.
Quarto Wizard is a Visual Studio Code / Positron extension that assists you in managing extensions in Quarto projects.
- extension
- quarto
- vscode
- codium
A purr-fectly simple way to visualize LSP hierarchies in Neovim.
- neovim
- neovim-plugin
- project-meow
- developer-tools
A tiny Neovim plugin to highlight text matching the current selection in visual mode 💫
Visual Studio Code language extension for RGBDS GBZ80 Assembly
Neovim plugin to calculate mathematical expressions within a buffer with visual mode, functions and variable support.
visual studio code extension simply view the image of the image variables when debugging python