Coqtail enables interactive Coq proof development in Neovim similar to CoqIDE or ProofGeneral.

The NERDTree is a file system explorer for the Vim editor. Using this plugin, users can visually browse complex directory hierarchies, quickly open files for reading or editing, and perform basic file system operations.

Neovim Qt is a lightweight cross-platform Neovim GUI written in C++ with Qt.

NERD commenter is a Vim plugin that provides many different commenting operations and styles which are invoked via key mappings and a menu. These operations are available for most filetypes.

Vader is a test framework for Vimscript designed to simplify the process of writing and running unit tests. Vader.vim provides an intuitive test syntax for defining test cases and expectations, it also can be integrated with CI pipelines to automate testing and is compatible with Vim and Neovim.

EditorConfig makes it easy to maintain the correct coding style when switching between different text editors and between different projects. The EditorConfig project maintains a file format and plugins for various text editors which allow this file format to be read and used by those editors.

This plugin takes the advantage of new APIs in Vim 8 (and NeoVim) to enable you to run shell commands in background and read output in the quickfix window in realtime.

This package provides the Hexdump utility xxd that comes with the editor vim.

This package provides the Solarized theme as a Vim color scheme.

Solarized is a 16-color palette comprising 8 monotones and 8 accent colors. It was designed for use with both terminal and GUI applications, and has a dark and a light mode.

Based on CIELAB lightness relationships between colors, this theme reduces brightness contrast but retains contrasting hues based on colorwheel relations for syntax highlighting readability.

It keeps the same selective contrast relationships and overall feel when switching between the light and dark background modes.

neosnippet-snippets provides standard snippets for the Vim plugin neosnippet. Snippets are small templates for commonly used code that you can fill in on the fly.

vim-context-filetype is context filetype library for Vim script.

This Vim plugin provides a Vim syntax highlighting plugin for Gemini Text, the text/gemini media type, as defined in the Gemini protocol specification.

neocomplete, an abbreviation of 'neo-completion with cache', is a plugin for Vim. It provides keyword completion system by maintaining a cache of keywords in the current buffer. Neocomplete can be customized easily and has many more features than Vim's built-in completion.

Coqtail enables interactive Coq proof development in Vim similar to CoqIDE or ProofGeneral.

Tagbar is a Vim plugin that provides an easy way to browse the tags of the current file and get an overview of its structure. It does this by creating a sidebar that displays the ctags-generated tags of the current file, ordered by their scope. This means that for example methods in C++ are displayed under the class they are defined in.

vim-luna is a dark color theme for Vim.

vim-airline-themes is a collection of themes for vim-airline.

A Vim plugin which shows a git diff in the sign column. It shows which lines have been added, modified, or removed. You can also preview, stage, and undo individual hunks; and stage partial hunks. The plugin also provides a hunk text object. The signs are always up to date and the plugin never saves your buffer.

A vim plugin to provide support and syntax highlighting for the Dhall programming language

This is a vim syntax file for PlantUML. The filetype will be set to plantuml for *.pu, *.uml, *.puml, *.iuml or *.plantuml files or if the first line of a file contains @startuml. Additionally the makeprg is set to plantuml assuming you have this executable in your path.

Vifm is a file manager providing a vi-like usage experience. It has similar keybindings and modes (e.g. normal, command line, visual). The interface uses ncurses, thus vifm can be used in text-only environments. It supports a wide range of features, some of which are known from the vi-editor:

1. utf8 support

2. user mappings (almost like in vi)

3. ranges in command

4. line commands

5. user defined commands (with support for ranges)

6. registers

7. operation undoing/redoing

8. fuse file systems support

9. trash

10. multiple files renaming

11. support of filename modifiers

12. colorschemes support

13. file name color according to file type

14. path specific colorscheme customization

15. bookmarks

16. operation backgrounding

17. customizable file viewers

18. handy less-like preview mode

19. filtering out and searching for files using regular expressions

20. one or two panes view

With the package comes a plugin to use vifm as a vim file selector.

Surround.vim is all about "surroundings": parentheses, brackets, quotes, XML tags, and more. The plugin provides mappings to easily delete, change and add such surroundings in pairs.

Vim sugar for the UNIX shell commands that need it the most. This package includes commands such as SudoWrite and SudoEdit and help working on Vim buffers and the files they reference with one command.

Vim-syntastic is a syntax checking plugin for Vim. It runs files through external syntax checkers and displays any resulting errors to the user. This can be done on demand, or automatically as files are saved. If syntax errors are detected, the user is notified.