This plugin extends Vim's Scheme support to include the additions to the language provided by the GNU Guile implementation. The plugin automatically detects whether a Scheme file is a Guile file and adds syntax highlighting for Guile's special forms.

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

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.

Vlime is similar to SLIME for Emacs and SLIMV for Vim. It provides REPL integration, as well as omni-completions, cross reference utilities, a nice inspector, debugger support, and many other great facilities to aid you in your glorious Common Lisp hacking quest.

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.

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.

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.

This package provides a plugin manager for Neovim, inspired by Emacs's use-package. It's written in Lua, supports Luarocks dependencies, and is based on Vim's builtin plugin support.

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

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.

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.

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: ©

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.

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.

vagrant-spec is a both a specification of how Vagrant and its various components should behave as well as a library of testing helpers that let you write your own unit and acceptance tests for Vagrant.

Using this tool, you can freeze a running application (or part of it) and checkpoint it to a hard drive as a collection of files. You can then use the files to restore and run the application from the point it was frozen at. The distinctive feature of the CRIU project is that it is mainly implemented in user space.

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

Bubblewrap is aimed at running applications in a sandbox, restricting their access to parts of the operating system or user data such as the home directory. Bubblewrap always creates a new mount namespace, and the user can specify exactly what parts of the file system should be made visible in the sandbox. These directories are mounted with the nodev option by default and can be made read-only.

Incus is a modern, secure and powerful system container and virtual machine manager.

It provides a unified experience for running and managing full Linux systems inside containers or virtual machines. Incus supports images for a large number of Linux distributions (official Ubuntu images and images provided by the community) and is built around a very powerful, yet pretty simple, REST API. Incus scales from one instance on a single machine to a cluster in a full data center rack, making it suitable for running workloads both for development and in production.

This package provides the following commands:

• fuidshift - tool to remap a filesystem tree, switching it from one set of UID/GID ranges to another

• generate-config - tool to generate documentation for Incus

• generate-database - entry point for all go:generate directives used in Incus' source code

• incus - command line client for Incus

• incus-agent - Incus virtual machine agent

• incus-benchmark - tool to benchmark various actions on a local Incus daemon

• incusd - the Incus daemon

• incus-migrate - physical to instance migration tool

• incus-simplestreams - tool to manage the files on a static image server using simplestreams index files as the publishing mechanism

• incus-user - Incus user project daemon

• lxc-to-incus - CLI client for container migration

• lxd-to-incus - LXD to Incus migration tool

• mini-oidc

• sysinfo - basic system stats tool

• tls2jwt - TLS to JWT certificate convertor, reference/testing tool

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.

Spike, the RISC-V ISA Simulator, implements a functional model of one or more RISC-V harts.

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.

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