Interactive Coq Proofs in Vim
Repository Index
47,133 repositories indexed
673–696 of 1,844 · Most stars
🌊 Aquarium, a simple vibrant dark theme for vim 🗒
Neovim plugin that offers context when cycling buffers in the form of a customizable notification window.
Monochrome color scheme for Vim
nvim-cmp source for nvim lua
- nvim-cmp
Animated ASCII splash screens for Neovim. 29 bundled splashes + bring your own via the milli CLI / web playground.
- alpha-nvim
- ascii
- ascii-art
- dashboard-nvim
Neovim plugin for displaying references and difinition infos upon functions like JB's IDEA.
Search & replace in the current buffer or workspace with incremental preview, a convenient UI, and modern regex syntax.
- nvim-plugin
- replace-text
- substitution
- search-and-replace
A simple plugin that allows running mypy from PyCharm and navigate between errors
- mypy
- pycharm
- python
- typing
An unofficial collection of linters and formatters configured for efm-langserver for neovim.
- nvim-lsp
- efm-langserver
- linters
- formatters
VS Code-like renaming UI for Neovim, writen in Lua.
WIP: Statusline written in pure lua. Supports co-routines, functions and jobs.
Neovim colorschemes generated on the fly with a text prompt using ChatGPT
Prettier plugin for Neovim's built-in LSP client.
- prettier
- neovim
- neovim-plugin
- neovim-lsp
seamless neovim integration with goose - work with a powerful AI agent without leaving your editor
An arctic, north-bluish clean and elegant Neovim theme.
A small, fast code editor written in Go, with a native GPU-drawn UI (no webview, no Electron)
- code-editor
- go
- golang
- gpu
Triforce is a Neovim plugin with beautiful UI that adds a bit of RPG flavor to your coding — XP, levels, and achievements while you work.
- adhd
- gamify
- neovim
- plugin
Neovim colorscheme with terminal-wide contrib themes
- lua
- neovim
- neovim-colorscheme
- bat-theme
A port of everblush.vim but written in lua
- neovim
- everblush
- lua
- ricing
Server implementing the Microsoft Language Protocol for Ada and SPARK
Neovim project plugin simplifies project management by maintaining project history and providing quick access to projects via Telescope, snacks.nvim or fzf-lua
A bunch of generated colorschemes (treesitter supported)
🦥 A dead simple lazy-loading Lua library for Neovim plugins.
- lazy-loading
- neovim
- neovim-plugin
- nvim