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.

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.

A Vim plugin to visualize the Vim undo tree

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

vim-luna is a dark color theme for Vim.

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

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.

LXC is a userspace interface for the Linux kernel containment features. Through a powerful API and simple tools, it lets Linux users easily create and manage system or application containers.

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

This Vagrant plugin enables reloading a Vagrant VM as a provisioning step.

qmpbackup is designed to create and restore full and incremental backups of running QEMU virtual machines via QMP, the QEMU Machine Protocol.

The RISC-V Proxy Kernel, pk, is a lightweight application execution environment that can host statically-linked RISC-V ELF binaries. It is designed to support tethered RISC-V implementations with limited I/O capability and thus handles I/O-related system calls by proxying them to a host computer.

This package also contains the Berkeley Boot Loader, bbl, which is a supervisor execution environment for tethered RISC-V systems. It is designed to host the RISC-V Linux port.

libvirt-glib wraps the libvirt library to provide a high-level object-oriented API better suited for glib-based applications, via three libraries:

1. libvirt-glib - GLib main loop integration & misc helper APIs

2. libvirt-gconfig - GObjects for manipulating libvirt XML documents

3. libvirt-gobject - GObjects for managing libvirt objects

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

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.

umoci is a tool that allows for high-level modification of an Open Container Initiative (OCI) image layout and its tagged images.

libguestfs is a set of tools for accessing and modifying virtual machine (VM) disk images. You can use this for viewing and editing files inside guests, scripting changes to VMs, monitoring disk used/free statistics, creating guests, P2V, V2V, performing backups, cloning VMs, building VMs, formatting disks, resizing disks, and much more.

emu.qmp is a QEMU Monitor Protocol (QMP) library written in Python. It is used to send QMP messages to running QEMU emulators. It can be used to communicate with QEMU emulators, the QEMU Guest Agent (QGA), the QEMU Storage Daemon (QSD), or any other utility or application that speaks QMP.

This package provides a self-contained library for reading and writing Windows Registry "hive" binary files. Unlike many other tools in this area, it doesn't use the textual .REG format for output, because parsing that is as much trouble as parsing the original binary format. Instead it makes the file available through a C API, or through a separate program to export the hive as XML.

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

This package contains a set of tools to assist administrators and developers in managing the database.

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.

This plugin creates an Ansible inventory file containing the created virtual machines and the respective ssh-parameters.

skopeo is a command line utility providing various operations with container images and container image registries. It can:

1. Copy container images between various containers image stores, converting them as necessary.

2. Convert a Docker schema 2 or schema 1 container image to an OCI image.

3. Inspect a repository on a container registry without needlessly pulling the image.

4. Sign and verify container images.

5. Delete container images from a remote container registry.