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

Graphical Neovim interface based on the EFL toolkit. Its features include customizable appearance and support for fonts with ligatures.

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.

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.

File detection and syntax highlighting for the zig programming language.

Srcery is a color scheme with clearly defined contrasting colors and a slightly earthy tone.

A Vim plugin to visualize the Vim undo tree

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

Paredit performs structured editing of Lisp S-expressions in Vim. Paredit.vim is similar to paredit.el for Emacs.

Pynvim implements support for python plugins in neovim. It also works as a library for connecting to and scripting neovim processes through its msgpack-rpc API.

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-airline is an extensible statusline for Vim. It can be extended and customized with themes, works with unicode fonts and powerline symbols, etc.

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

Neovim is a project that seeks to aggressively refactor Vim in order to:

• Simplify maintenance and encourage contributions

• Split the work between multiple developers

• Enable advanced external UIs without modifications to the core

• Improve extensibility with a new plugin architecture

As everyone knows, the most complex codes were composed of a mass of different kinds of parentheses (typically: lisp). This plugin will help you read these codes by showing different levels of parentheses in different colors.

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, is a plugin for Vim which adds snippet support to Vim. Snippets are small templates for commonly used code that you can fill in on the fly. To use snippets can increase your productivity in Vim a lot. The functionality of this plug-in is quite similar to plug-ins like snipMate.vim or snippetsEmu.vim. But since you can choose snippets with the neocomplcache / neocomplete interface, you might have less trouble using them, because you do not have to remember each snippet name.

Comment stuff out. Use gcc to comment out a line (takes a count), gc to comment out the target of a motion (for example, gcap to comment out a paragraph), gc in visual mode to comment out the selection, and gc in operator pending mode to target a comment. You can also use it as a command, either with a range like :7,17Commentary, or as part of a :global invocation like with :g/TODO/Commentary.

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.

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.

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

Vim is a highly configurable text editor built to enable efficient text editing. It is an improved version of the vi editor distributed with most UNIX systems.

Vim is often called a "programmer's editor," and so useful for programming that many consider it an entire IDE. It's not just for programmers, though. Vim is perfect for all kinds of text editing, from composing email to editing configuration files.

This package provides a version of Vim with many optional features enabled. It includes a graphical interface, gvim, and support for plugins written in the Python 3, Perl, Ruby, Tcl, and Lua programming languages.

jedi-vim is a VIM binding to the autocompletion library Jedi.

SLIME is an Emacs plugin to turn Emacs into a Lisp IDE. You can type text in a file, send it to a live REPL, and avoid having to reload all your code every time you make a change. Vim-slime is an attempt at getting some of these features into Vim. It works with any REPL and isn't tied to Lisp.