Interactive Coq Proofs in Vim
Repository Index
62,771 visible repositories in the index
25–48 of 55 · Most stars
Plugin that adds a 'cut' operation separate from 'delete'
Run compilers and inspect assembly directly from Neovim with the help of https://godbolt.org
- assembly
- compiler-explorer
- lua
- neovim
Put on your shades so you only see what you care about
A Neovim plugin that automatically assigns colors to devicons based on their nearest color in a predefined color palette.
Neovim plugin to assist work with CSV files
See what your AI coding agent is doing. Multi-provider assistant & session monitor for VS Code and the terminal — inline completions, code transforms, and a full TUI dashboard tracking tokens, cost, and context across Claude Code, OpenCode, and Codex. Switch between multiple Claude Code and Codex accounts.
- copilot-alternative
- inline-completion
- claude-code-cli
- code-reviews
First class powershell editor integration into Neovim
Quarto Wizard is a Visual Studio Code / Positron extension that assists you in managing extensions in Quarto projects.
- extension
- quarto
- vscode
- codium
godbolt at home
- assembly
- debugging-tool
- neovim-plugin
Visual Studio Code language extension for RGBDS GBZ80 Assembly
Classic Black Jack game in Neovim
Neovim plugin to visualize C/C++ class/struct memory layouts using clang
- c
- clang
- clangd
- cpp
Hide secrets like API keys, passwords and tokens in Neovim while screen sharing or streaming. Masks .env, JSON, YAML, TOML, XML, .http, Terraform/HCL and Dockerfiles with extmarks, without changing the file. Presentation mode, screen shield, picker and terminal masking.
Sticky note bookmarks for Neovim — per Git branch, with hover annotations, Telescope integration, and one-keystroke handoff to AI assistants
- neovim
- lua
- neovim-plugins
- nvim
:eyeglasses: Markdown files terminal viewer.
Z80 Assembly support for Visual Studio Code
Control you favorite music players with ease from within Neovim.
- lua
- neovim
- neovim-plugin
- nvim
A Neovim port of the classic blue theme from TextMate 💙
Neovim plugin for generating Java files (classes, interfaces, enums, records) with package-aware autocompletion.
- java
- nvim
- plugin
Neovim plugin to interact with the Termux APIs, useful for displaying various information in the statusline
A Neovim plugin inspired by the classic Windows 3.1 game SkiFree
Neovim plugin for automaticaly passing extra context for LLM on code snippet copy to clipboard
🔊 Seamlessly integrate sound into your Neovim workflow
- neovim
- neovim-plugin
- rust