Simple X selection printer. Prints the X selection to stdout. Useful for scripts where you can query the X selection without pressing mouse Button2 in cumbersome ways.

VVdeC, the Fraunhofer Versatile Video Decoder, is a fast software H.266/VVC decoder implementation supporting all features of the VVC Main10 profile.

VVdeC, the Fraunhofer Versatile Video Decoder, is a fast software H.266/VVC decoder implementation supporting all features of the VVC Main10 profile.

An open-source VVC encoder licensed under 3-clause BSD.

FFmpeg is a complete, cross-platform solution to record, convert and stream audio and video. It includes the libavcodec audio/video codec library.

VVenC is a fast, efficient, multithreaded VVC (H.266) encoder.

ReadyMedia (formerly known as MiniDLNA) is a simple media server that serves multimedia content to compatible clients on the network. It aims to be fully compliant with DLNA and UPnP-AV standards.

GPAC is an open-source multimedia framework focused on modularity and standards compliance. GPAC provides tools to process, inspect, package, stream, playback and interact with media content. Such content can be any combination of audio, video, subtitles, metadata, scalable graphics, encrypted media, 2D/3D graphics and ECMAScript. GPAC is best-known for its wide MP4/ISOBMFF capabilities and is popular among video enthusiasts, academic researchers, standardization bodies, and professional broadcasters.

ADB is a versatile command-line tool that lets you communicate with a device. The adb command facilitates a variety of device actions, such as installing and debugging apps, and it provides access to a Unix shell that you can use to run a variety of commands on a device. This package includes the official Google prebuilt binaries patched to work on Guix.

Included tools:

• adb - Android Debug Bridge for device communication

• fastboot - Tool for flashing system images

• mke2fs - Create ext2/ext3/ext4 filesystems

• e2fsdroid - Build an ext2/ext3/ext4 filesystem from a directory

• make_f2fs - Create F2FS filesystems

Agda is a dependently typed functional programming language and proof assistant. It is an interactive system for writing and checking proofs.

It supports highlighting, goal listing, type-context, refinement, auto, solving, case splitting, go-to definition, normalization, and helper functions. These are exposed via vim commands. Most commands have an equivalent in agda-mode.

It supports highlighting, goal listing, type-context, refinement, auto, solving, case splitting, go-to definition, normalization, and helper functions. These are exposed via vim commands. Most commands have an equivalent in agda-mode.

It supports highlighting, goal listing, type-context, refinement, auto, solving, case splitting, go-to definition, normalization, and helper functions. These are exposed via vim commands. Most commands have an equivalent in agda-mode.

gh is GitHub on the command line. It brings pull requests, issues, and other GitHub concepts to the terminal next to where you are already working with git and your code.

Library for nvim-hs.

This package provides a package to determine the edit distance between two Foldable's. These are converted to lists, and the Levenshtein distance determine how many additions, removals and changes are necessary to change the first list into the second list.

Serialize instance for Message Pack Object.

This package provides a minimal pretty-printing library for Show instances in Haskell.

See "DiffLoc".

This package provides a plugin provider for neovim. It allows you to write plugins for one of the great editors of our time in the best programming language of our time! ;-) . You should find all the documentation you need inside the "Neovim" module. Most other modules are considered internal, so don't be annoyed if using things from there may break your code! . The following modules may also be of interest and they should not change their API: "Neovim.Quickfix" . If you want to write unit tests that interact with neovim, "Neovim.Test" provides some useful functions for that. . If you are keen to debug /nvim-hs/ or a module you are writing, take a look at the "Neovim.Debug" module. . If you spot any errors or if you have great ideas, feel free to open an issue on github.

Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.

Überzug++ is a command line utility written in C++ which allows to draw images on terminals by using X11/wayland child windows, sixels, kitty and iterm2..

Advantages over w3mimgdisplay and ueberzug:

• support for wayland: sway, hyprland and wayfire

• support for MacOS

• no race conditions as a new window is created to display images

• expose events will be processed, so images will be redrawn on switch workspaces

• tmux support on X11, sway and hyprland

• terminals without the WINDOWID environment variable are supported

• chars are used as position - and size unit

• No memory leak (usage of smart pointers)

• A lot of image formats supported (through opencv and libvips).

• GIF and animated WEBP support on X11, Sixel, Sway and hyprland

• Fast image downscaling (through opencv and opencl)

• Cache resized images for faster viewing

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

Tree-sitter is a parser generator tool and an incremental parsing library. It can build a concrete syntax tree for a source file and efficiently update the syntax tree as the source file is edited.

Tree-sitter aims to be:

• General enough to parse any programming language

• Fast enough to parse on every keystroke in a text editor

• Robust enough to provide useful results even in the presence of syntax errors

• Dependency-free so that the runtime library (which is written in pure C) can be embedded in any application

This package includes the libtree-sitter runtime library.