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.

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

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.

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

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.

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.

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

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 plugin creates an Ansible inventory file containing the created virtual machines and the respective ssh-parameters.

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

Vagrant is the command line utility for managing the lifecycle of virtual machines. Isolate dependencies and their configuration within a single disposable and consistent environment.

Note: Make sure to have ssh and rsync installed — if you use the respective Vagrant functions. This package does not link to any specific implementation of these to allow different clients and to avoid configuration conflicts when running on a `foreign distribution'.

open-vm-tools is a set of services and modules that enable several features in VMware products for better management of, and seamless user interactions with, guests.

open-vm-tools enables the following features in VMware products:

• The ability to perform virtual machine power operations gracefully.

• Execution of VMware provided or user configured scripts in guests during various power operations.

• The ability to run programs, commands and file system operation in guests to enhance guest automation.

• Authentication for guest operations.

• Periodic collection of network, disk, and memory usage information from the guest.

• Generation of heartbeat from guests to hosts so VMware's HA solution can determine guests' availability.

• Clock synchronization between guests and hosts or client desktops.

• Quiescing guest file systems to allow hosts to capture file-system-consistent guest snapshots.

• Execution of pre-freeze and post-thaw scripts while quiescing guest file systems.

• The ability to customize guest operating systems immediately after powering on virtual machines.

• Enabling shared folders between host and guest file systems on VMware Workstation and VMware Fusion.

• Copying and pasting text, graphics, and files between guests and hosts or client desktops.

This package provides a GTK+ support for open-vm-tools.

Python-vagrant is a Python module that provides a thin wrapper around the vagrant command line executable, allowing programmatic control of Vagrant virtual machines.

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

Libvirt is a C toolkit to interact with the virtualization capabilities of recent versions of Linux. The library aims at providing long term stable C API initially for the Xen paravirtualization but should be able to integrate other virtualization mechanisms if needed.

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

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.

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 provides Python bindings to the libvirt virtualization library.

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.

LXCFS is a small FUSE file system written with the intention of making Linux containers feel more like a virtual machine. It started as a side project of LXC but can be used by any run-time.

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

Libx86emu is a small library to emulate x86 instructions. The focus here is not a complete emulation but to cover enough for typical firmware blobs. You can

1. intercept any memory access or directly map real memory ranges

2. intercept any i/o access, map real i/o ports, or block any real i/o

3. intercept any interrupt

4. add a hook to run after each instruction

5. recognize a special x86 instruction that can trigger logging

6. use integrated logging