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

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.

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.

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.

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

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

Library for nvim-hs.

Ü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.

SANE stands for "Scanner Access Now Easy" and is an API proving access to any raster image scanner hardware (flatbed scanner, hand-held scanner, video- and still-cameras, frame-grabbers, etc.). The package contains the library and drivers.

This package provides a new type of shell.

PPSSPP is a PlayStation Portable emulator capable of playing the majority of PSP games in full HD resolution. It can even upscale textures that would otherwise be too blurry as they were made for the small screen of the original PSP. The emulator supports save states, external controllers, and has a built-in screen recording feature.

scrcpy provides display and control of Android devices connected over USB or over TCP/IP. It does not require any root access. It works by running a server on the Android device and communicating with it over adb.