This is a vim syntax file for PlantUML. The filetype will be set to plantuml for *.pu, *.uml, *.puml, *.iuml or *.plantuml files or if the first line of a file contains @startuml. Additionally the makeprg is set to plantuml assuming you have this executable in your path.

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

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.

Vim-fugitive is a wrapper for Vim that complements the command window, where you can stage and review your changes before the next commit or run any Git arbitrary command.

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.

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

EditorConfig makes it easy to maintain the correct coding style when switching between different text editors and between different projects. The EditorConfig project maintains a file format and plugins for various text editors which allow this file format to be read and used by those editors.

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

File detection and syntax highlighting for the zig programming language.

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

vim-luna is a dark color theme for Vim.

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.

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.

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

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

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.

vim-airline is an extensible statusline for Vim. It can be extended and customized with themes, works with unicode fonts and powerline symbols, etc.

CtrlP features:

• Written in pure Vimscript for MacVim, gVim and Vim 7.0+.

• Full support for Vim's regexp as search patterns.

• Built-in Most Recently Used files monitoring and search.

• Built-in project's root finder.

• Open multiple files at once.

• Create new files and directories.

• Execute Ex commands on an opening file (jump to a line, to a string or do anything).

• Optional cross-session caching and history allow for fast initialization.

• Mappings and usage conform to Vim's conventions.

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

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

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.

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

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.

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.