Interactive Coq Proofs in Vim
Repository Index
78,351 visible repositories in the index
313–336 of 624 · Most stars
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
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
WIP: Statusline written in pure lua. Supports co-routines, functions and jobs.
Prettier plugin for Neovim's built-in LSP client.
- prettier
- neovim
- neovim-plugin
- neovim-lsp
Neovim colorscheme with terminal-wide contrib themes
- lua
- neovim
- neovim-colorscheme
- bat-theme
Neovim project plugin simplifies project management by maintaining project history and providing quick access to projects via Telescope, snacks.nvim or fzf-lua
- lua
- neovim
- neovim-plugin
Yet another VSCode extension for Crystal Programming Language
- crystal
- vscode-extension
Persistent bookmarks: hard disk of your thoughts
Neovim colorscheme using Gnome Adwaita syntax
- neovim
- color-scheme
- adwaita-theme
- treesitter
Fast creation of files and directories. Mimics the operation of AdvancedNewFile (Vim plugin)
- touch
- mkdir
- python
- terminal
Maintained fork of ruifm's gitlinker, refactored with bug fixes, ssh aliases, blame support and other improvements.
- lua
- neovim
- neovim-plugin
- plugin
TrailBlazer enables you to seemlessly move through important project marks as quickly and efficiently as possible to make your workflow blazingly fast ™.
- neovim
- neovim-lua
- neovim-plugin
- vim-motions
A flow-immersive Nvim colorscheme with fluorescent details.
- coding
- colorscheme
- fluo
- lua
👻 Actions at a distance
Create temporary playground files effortlessly. Find them later without worrying about filenames or locations.
SynEdit is a syntax highlighting edit control, not based on the Windows common controls.
Status Line for Neovim focused on beauty and performance ✅💙💛🤍💚
- neovim
- lua
- statusline
- blacklivesmatter
Neovim edit completion plugin
- nvim
- cursor-prediction
- edit-completion
A zero-config minimal statusline for neovim written in lua featuring awesome integrations and blazing speed!
- statusline
- tabline
- lua
- nvim
Visualize your Markdown as mindmaps with markmap
Tools for working with Markdown in Neovim.
Versatile REPL/CLI manager. Multiple sending modes with parallel sessions, buffer attachments, and cross-language support. AI CLI integration for Aider and OpenAI Codex. Picker support, project-level configs, code cell text objects, and native dot-repeat.
- neovim
- neovim-plugin
- neovim-lua
- neovim-lua-library
A VS Code extension that re-creates Rebased, the standalone git client built on the IntelliJ platform.