This library provides tools for reading and manipulating the .cabal file format.

A simple and modern GTK e-book reader

Self-hosted manga server with web reader. Features: - Metadata scraping from Anilist and MangaDex - OPDS feed support for ebook readers - Komga-compatible API endpoints - CBZ/ZIP/RAR archive support - Progress tracking across devices

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.

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.

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

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

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.

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

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.

Serialize instance for Message Pack Object.

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

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.

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

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.

See "DiffLoc".