This package exposes internal types and functions that can be used to extend Hspec's functionality.

Bindings for Gsk, autogenerated by haskell-gi.

Haskell bindings for libarchive. Provides the ability to unpack archives, including the ability to unpack archives lazily.

@pipes-group@ uses @FreeT@ and lenses to group streams into sub-streams. Notable features include: . * /Perfect Streaming/: Group elements without collecting them into memory . * /Lens Support/: Use lenses to simplify many common operations . @Pipes.Group@ contains the full documentation for this library. . Read @Pipes.Group.Tutorial@ for an extensive tutorial.

This package provides functionality for manipulating @OsString@ values, and is shipped with <https://www.haskell.org/ghc/ GHC>.

SmallCheck support for the Hspec testing framework.

This package provides functionality for manipulating @FilePath@ values, and is shipped with <https://www.haskell.org/ghc/ GHC>. It provides two variants for filepaths: . 1. legacy filepaths: @type FilePath = String@ . 2. operating system abstracted filepaths (@OsPath@): internally unpinned @ShortByteString@ (platform-dependent encoding) . It is recommended to use @OsPath@ when possible, because it is more correct. . For each variant there are three main modules: . * "System.FilePath.Posix" / "System.OsPath.Posix" manipulates POSIX\/Linux style @FilePath@ values (with @\/@ as the path separator). . * "System.FilePath.Windows" / "System.OsPath.Windows" manipulates Windows style @FilePath@ values (with either @\\@ or @\/@ as the path separator, and deals with drives). . * "System.FilePath" / "System.OsPath" for dealing with current platform-specific filepaths . For more powerful string manipulation of @OsPath@, you can use the <https://hackage.haskell.org/package/os-string os-string package> (@OsPath@ is a type synonym for @OsString@). . An introduction into the new API can be found in this <https://hasufell.github.io/posts/2022-06-29-fixing-haskell-filepaths.html blog post>. Code examples for the new API can be found <https://github.com/hasufell/filepath-examples here>.

Many recursive functions share the same structure, e.g. pattern-match on the input and, depending on the data constructor, either recur on a smaller input or terminate the recursion with the base case. Another one: start with a seed value, use it to produce the first element of an infinite list, and recur on a modified seed in order to produce the rest of the list. Such a structure is called a recursion scheme. Using higher-order functions to implement those recursion schemes makes your code clearer, faster, and safer. See README for details.

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

A simple and modern GTK e-book reader

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.

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.

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.

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

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

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

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

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.