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

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.

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.

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

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.

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

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.

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.

Leverage the power of Vim's compiler plugins without being bound by synchronicity. Kick off builds and test suites using one of several asynchronous adapters (including tmux, screen, and a headless mode), and when the job completes, errors will be loaded and parsed automatically.

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.

Vim-syntastic is a syntax checking plugin for Neovim. 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.

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.

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.

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.

In Vim, pressing ga on a character reveals its representation in decimal, octal, and hex. Characterize.vim modernizes this with the following additions:

• Unicode character names: U+00A9 COPYRIGHT SYMBOL

• Vim digraphs (type after <C-K> to insert the character): Co, cO

• Emoji codes: :copyright:

• HTML entities: ©

This package provides a guest OS definition for Ganeti. It installs Debian or a derivative using debootstrap.

RVVM is a RISC-V CPU and system software implementation written in C. It supports the entire RV64GC ISA, and it passes compliance tests for both RV64 and RV32. OpenSBI, U-Boot, and custom firmwares boot and execute properly. It is capable of running Linux, FreeBSD, OpenBSD, Haiku, and other OSes. Furthermore, it emulates a variety of hardware and peripherals.

This is a Vagrant plugin that adds a Libvirt provider to Vagrant, allowing Vagrant to control and provision machines via the Libvirt toolkit.

Osinfo-db provides the database files for use with the libosinfo library. It provides information about guest operating systems for use with virtualization provisioning tools

Looking Glass allows the use of a KVM (Kernel-based Virtual Machine) configured for VGA PCI Pass-through without an attached physical monitor, keyboard or mouse. It displays the VM's rendered contents on your main monitor/GPU.

This package provides the Xen Virtual Machine Monitor which is a hypervisor.

This package is an internal helper for vagrant-spec. Don't use it.

Ganeti is a virtual machine management tool built on top of existing virtualization technologies such as Xen or KVM. Ganeti controls:

• Disk creation management;

• Operating system installation for instances (in co-operation with OS-specific install scripts); and

• Startup, shutdown, and failover between physical systems.

Ganeti is designed to facilitate cluster management of virtual servers and to provide fast and simple recovery after physical failures, using commodity hardware.

QEMU is a generic machine emulator and virtualizer.

When used as a machine emulator, QEMU can run OSes and programs made for one machine (e.g. an ARM board) on a different machine---e.g., your own PC. By using dynamic translation, it achieves very good performance.

When used as a virtualizer, QEMU achieves near native performances by executing the guest code directly on the host CPU. QEMU supports virtualization when executing under the Xen hypervisor or using the KVM kernel module in Linux. When using KVM, QEMU can virtualize x86, server and embedded PowerPC, and S390 guests.