Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

Packages — A (Page 1 of 3)

Packages menu:

Browse alphabetically

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

a2ps 4.14

GNU a2ps converts almost anything to a PostScript file, ready for printing. It accomplishes this by being able to delegate files to external handlers, such as Groff and Gzip. It…

aalib 1.4rc5

AA-lib is a low level gfx library which does not require graphics device. In fact, there is no graphical output possible. AA-lib replaces those old-fashioned output methods with powerful ascii-art…

abbaye 2.0.1

L'Abbaye des Morts is a 2D platform game set in 13th century France. The Cathars, who preach about good Christian beliefs, were being expelled by the Catholic Church out of the…

abc 0.0-1.5ae4b97

ABC is a program for sequential logic synthesis and formal verification. …

abcde 2.9.3

abcde is a front-end command-line utility (actually, a shell script) that grabs tracks off a CD, encodes them to Ogg/Vorbis, MP3, FLAC, Ogg/Speex and/or MPP/MP+ (Musepack) format, and tags them, all in…

abcl 1.6.0

"Armed Bear Common Lisp" (ABCL) is a full implementation of the Common Lisp language featuring both an interpreter and a compiler, running in the JVM. It supports JSR-223 (Java scripting API):…

abduco 0.6

abduco provides session management i.e. it allows programs to be run independently from their controlling terminal. That is, programs can be detached---run in the background---and then later reattached. …

abe 1.1

Abe's Amazing Adventure is a scrolling, platform-jumping, key-collecting, ancient pyramid exploring game, vaguely in the style of similar games for the Commodore+4. …

abiword 3.0.4

AbiWord is a word processing program. It is rapidly becoming a state of the art word processor, with lots of features useful for your daily work, personal needs, or for just…

ableton-link 3.0.2

Ableton Link is a C++ library that synchronizes musical beat, tempo, and phase across multiple applications running on one or more devices. Applications on devices connected to a local network discover…

abootimg 0.6

This package provides a tool for manipulating old Android Boot Images. `abootimg' can work directly on block devices, or, the safest way, on a file image. …

abseil-cpp 20200225.2

Abseil is a collection of C++ library code designed to augment the C++ standard library. The Abseil library code is collected from Google's C++ code base. …

accountsservice 0.6.50

The AccountService project provides a set of D-Bus interfaces for querying and manipulating user account information and an implementation of these interfaces, based on the useradd, usermod and userdel commands. …

acct 6.6.4

GNU acct provides a means for system administrators to determine system usage patterns. It provides information on, for example, connections, programs executed, and system resources used. …

acl 2.2.53

Library and tools for manipulating access control lists. …

acme-client 0.1.16

acme-client is a Let's Encrypt client implemented in C. It uses a modular design, and attempts to secure itself by dropping privileges and operating in a chroot where possible. acme-client…

acpi 1.7

`acpi' attempts to replicate the functionality of the "old" `apm' command on ACPI systems, including battery and thermal information. It does not support ACPI suspending, only displays information about ACPI devices. …

acpi-call-linux-module 3.17-0.70b9c80

This simple Linux kernel module allows calls from user space to any ACPI (Advanced Configuration and Power Interface) method provided by your computer's firmware, by writing to `/proc/acpi/call'. You can pass…

acpica 20200717

The ACPICA (ACPI Component Architecture) project provides an OS-independent reference implementation of the ACPI (Advanced Configuration and Power Interface) specification. ACPICA code contains those portions of ACPI meant to be directly integrated…

acpid 2.0.32

acpid is designed to notify user-space programs of Advanced Configuration and Power Interface (ACPI) events. acpid should be started during the system boot, and will run as a background process. …

adanaxisgpl 1.2.5

Adanaxis is a fast-moving first person shooter set in deep space, where the fundamentals of space itself are changed. By adding another dimension to space this game provides an environment with…

adapterremoval 2.3.0

This program searches for and removes remnant adapter sequences from "High-Throughput Sequencing" (HTS) data and (optionally) trims low quality bases from the 3' end of reads following adapter removal. AdapterRemoval can…

adb 7.1.2_r36

`adb' is a versatile command line tool that lets you communicate with an emulator instance or connected Android device. It facilitates a variety of device actions, such as installing and debugging…

adms 2.3.7

ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile C code for the API of spice simulators. Based on transformations specified in…

adns 1.6.0

GNU adns is a C library that provides easy-to-use DNS resolution functionality. The library is asynchronous, allowing several concurrent calls. The package also includes several command-line utilities for use in scripts. …

adwaita-icon-theme 3.34.3

Icons for the GNOME desktop. …

aegis 4.24

Aegis is a project change supervisor, and performs some of the Software Configuration Management needed in a CASE environment. Aegis provides a framework within which a team of developers may work…

aegisub 3.2.2

Aegisub is a tool for creating and modifying subtitles. Aegisub makes it quick and easy to time subtitles to audio, and features many powerful tools for styling them, including a built-in…

afew 1.2.0

afew is an initial tagging script for notmuch mail. It provides automatic tagging each time new mail is registered with notmuch. It can add tags based on email headers or…

agda 2.6.0.1

Agda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also…

agda-ial 1.5.0

The goal is to provide a concrete library focused on verification examples, as opposed to mathematics. The library has a good number of theorems for booleans, natural numbers, and lists. …

agg 2.5

Anti-Grain Geometry is a high quality rendering engine written in C++. It supports sub-pixel resolutions and anti-aliasing. It is also library for rendering SVG graphics. …

agi-bio 0-1.b5c6f3d

This is a package for genomic and proteomic research using the OpenCog toolset with Guile. This includes experiments in applying pattern mining and other OpenCog components. …

aha 0.5.1

`aha' (Ansi Html Adapter) converts ANSI escape sequences of a Unix terminal to HTML code. …

aide 0.16.2

AIDE (Advanced Intrusion Detection Environment) is a file and directory integrity checker. It creates a database from the regular expression rules that it finds from its configuration files. Once this…

aircrack-ng 1.6

Aircrack-ng is a complete suite of tools to assess WiFi network security. It focuses on different areas of WiFi security: monitoring, attacking, testing, and cracking. All tools are command-line driven,…

aisleriot 3.22.9

Aisleriot (also known as Solitaire or sol) is a collection of card games which are easy to play with the aid of a mouse. …

aj-snapshot 0.9.9

Aj-snapshot is a small program that can be used to make snapshots of the connections made between JACK and/or ALSA clients. Because JACK can provide both audio and MIDI support to…

akku 1.0.1

Akku.scm is a project-based language package manager for R6RS and R7RS Scheme. It is mainly meant for programmers who develop portable programs or libraries in Scheme, but could potentially work for end-users…

akonadi 20.04.1

Akonadi is an extensible cross-desktop Personal Information Management (PIM) storage service. It provides a common framework for applications to store and access mail, calendars, addressbooks, and other PIM data. This package contains…

akonadi-calendar 20.04.1

This library manages calendar specific actions for collection and item views. …

akonadi-contacts 20.04.1

Akonadi Contacts is a library that effectively bridges the type-agnostic API of the Akonadi client libraries and the domain-specific KContacts library. It provides jobs, models and other helpers to make working…

akonadi-mime 20.04.1

Akonadi Mime is a library that effectively bridges the type-agnostic API of the Akonadi client libraries and the domain-specific KMime library. It provides jobs, models and other helpers to make working…

akonadi-notes 20.04.1

Akonadi Notes is a library that effectively bridges the type-agnostic API of the Akonadi client libraries and the domain-specific KMime library. It provides a helper class for note attachments and for…

akonadi-search 20.04.1

This package provides a library used to search in the Akonadi PIM data server. It uses Xapian for indexing and querying. …

alacritty 0.4.1

Alacritty is a GPU-accelerated terminal emulator with a strong focus on simplicity and performance. With such a strong focus on performance, included features are carefully considered and you can always expect…

alex4 1.2.1

Guide Alex the Allegator through the jungle in order to save his girlfriend Lola from evil humans who want to make a pair of shoes out of her. Plenty of…

alive 2.0.2

GNU Alive sends periodic pings to a server, generally to keep a connection alive. …

allegro 4.4.3

Allegro is a library mainly aimed at video game and multimedia programming. It handles common, low-level tasks such as creating windows, accepting user input, loading data, drawing images, playing sounds, etc. …

allegro 5.0.11

Allegro is a library mainly aimed at video game and multimedia programming. It handles common, low-level tasks such as creating windows, accepting user input, loading data, drawing images, playing sounds, etc. …

allegro 5.2.5.0

Allegro is a library mainly aimed at video game and multimedia programming. It handles common, low-level tasks such as creating windows, accepting user input, loading data, drawing images, playing sounds, etc. …

alot 0.5.1

Alot is an experimental terminal mail user agent ("MUA") based on `notmuch' mail. It is written in Python using the `urwid' toolkit. …

alpine 2.24

Alpine is a text-based mail and news client. Alpine includes several tools and applications: 1. alpine, the Alpine mailer 2. pico, the standalone text editor, GNU nano's predecessor …

alsa-lib 1.2.2

The Advanced Linux Sound Architecture (ALSA) provides audio and MIDI functionality to the Linux-based operating system. …

alsa-modular-synth 2.1.2

AlsaModularSynth is a digital implementation of a classical analog modular synthesizer system. It uses virtual control voltages to control the parameters of the modules. The control voltages which control the…

alsa-plugins 1.2.2

The Advanced Linux Sound Architecture (ALSA) provides audio and MIDI functionality to the Linux-based operating system. This package enhances ALSA by providing additional plugins which include: upmixing, downmixing, jackd and pulseaudio support…

alsa-utils 1.2.2

The Advanced Linux Sound Architecture (ALSA) provides audio and MIDI functionality to the Linux-based operating system. …

altermime 0.3.10

alterMIME is a small program which is used to alter your mime-encoded mailpack. What can alterMIME do? 1. Insert disclaimers, 2. insert arbitary X-headers, 3. modify existing headers, …

amalgamate 1.1.1-0.c91f07e

amalgamate.py aims to make it easy to use SQLite-style C source and header amalgamation in projects. …

amb-plugins 0.8.1

The AMB plugins are a set of LADSPA ambisonics plugins, mainly to be used within Ardour. Features include: mono and stereo to B-format panning, horizontal rotator, square, hexagon and cube decoders. …

american-fuzzy-lop 2.56b

American fuzzy lop is a security-oriented fuzzer that employs a novel type of compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the…

ams-lv2 1.2.2

This set of LV2 plugins is a port of the internal modules found in Alsa Modular Synth. These plugins are used to create modular synthesizers and contain: VCO, VCF, VCA, LFO,…

amsynth 1.7.1

amsynth is an easy-to-use software synthesizer with a classic subtractive synthesizer topology. Its features include: dual oscillators (sine, saw, square, noise) with hard sync; 12 and 24 dB/oct resonant filters (low-pass, high-pass,…

amtk 5.0.2

Amtk is the acronym for Amtk (Actions Menus and Toolbars Kit). It is a basic GtkUIManager replacement based on GAction. It is suitable for both a traditional UI or a…

amule 2.3.2

aMule is an eMule-like client for the eD2k and Kademlia peer-to-peer file sharing networks. It includes a graphical user interface (GUI), a daemon allowing you to run a client with no…

android-bionic-uapi 7.1.2_r36

`android-bionic-uapi' provides the part of the Linux API that is safe to use for user space. It also includes `system_properties.h' and `_system_properties.h'. …

android-ext4-utils 7.1.2_r36

`android-ext4-utils' is a library in common use by the Android core. …

android-f2fs-utils 7.1.2_r36

`android-f2fs-utils' is a library in common use by the Android core. It allows the user to create images for the `f2fs' Flash file system. …

android-googletest 1.8.0

Google Test features an XUnit test framework, automated test discovery, death tests, assertions, parameterized tests and XML test report generation. …

android-libcutils 7.1.2_r36

`libcutils' is a library in common use by the various Android core host applications. …

android-liblog 7.1.2_r36

`liblog' represents an interface to the volatile Android Logging system for NDK (Native) applications and libraries and contain interfaces for either writing or reading logs. The log buffers are divided up…

android-libselinux 7.1.2_r36

The libselinux library provides an API for SELinux applications to get and set process and file security contexts, and to obtain security policy decisions. It is required for any applications that…

android-libsparse 7.1.2_r36

`android-libsparse' is a library in common use by the various Android core host applications. …

android-libutils 7.1.2_r36

`android-libutils' provides utilities for Android NDK developers. …

android-libziparchive 7.1.2_r36

`android-libziparchive' is a library in common use by the various Android core host applications. …

android-make-stub 0.6.0

`android-make-stub' provides stubs for the `make' system of the Android platform. This allows us to use their packages mostly unmodified in our Android NDK build system. …

android-safe-iop 7.1.2_r36

`android-safe-iop' provides a set of functions for performing and checking safe integer operations. Ensure that integer operations do not result in silent overflow. …

android-udev-rules 20200613

Provides a set of udev rules to allow using Android devices with tools such as `adb' and `fastboot' without root privileges. This package is intended to be added as a rule…

angband 4.2.1

Angband is a Classic dungeon exploration roguelike. Explore the depths below Angband, seeking riches, fighting monsters, and preparing to fight Morgoth, the Lord of Darkness. …

anki 2.1.16

Anki is a program which makes remembering things easy. Because it's a lot more efficient than traditional study methods, you can either greatly decrease your time spent studying, or greatly increase…

anonip 1.0.0

Anonip masks the last bits of IPv4 and IPv6 addresses in log files. That way most of the relevant information is preserved, while the IP address does not match a particular…

ansible 2.9.11

Ansible is a radically simple IT automation system. It handles configuration management, application deployment, cloud provisioning, ad hoc task execution, and multinode orchestration---including trivializing things like zero-downtime rolling updates with load balancers. …

ant 1.9.9

Ant is a platform-independent build tool for Java. It is similar to make but is implemented using the Java language, requires the Java platform, and is best suited to building Java…

ant 1.10.1

Ant is a platform-independent build tool for Java. It is similar to make but is implemented using the Java language, requires the Java platform, and is best suited to building Java…

ant-apache-bcel 1.10.1

Ant is a platform-independent build tool for Java. It is similar to make but is implemented using the Java language, requires the Java platform, and is best suited to building Java…

ant-junit 1.10.1

Ant is a platform-independent build tool for Java. It is similar to make but is implemented using the Java language, requires the Java platform, and is best suited to building Java…

anthy 9100h

Anthy is a Japanese input method for converting hiragana text to mixed kana and kanji. It is written in the C programming language. Anthy stores personal customizations (words it has…

antiword 0.37

Antiword is an application for displaying Microsoft Word documents. It can also convert the document to PostScript or XML. Only documents made by MS Word version 2 and version 6…

antlr2 2.7.7

ANTLR, ANother Tool for Language Recognition, (formerly PCCTS) is a language tool that provides a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing Java, C#, C++, or Python actions. …

antlr3 3.5.2

ANTLR, ANother Tool for Language Recognition, (formerly PCCTS) is a language tool that provides a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing Java, C#, C++, or Python actions. …

antlr3 3.1

ANTLR, ANother Tool for Language Recognition, (formerly PCCTS) is a language tool that provides a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing Java, C#, C++, or Python actions. …

antlr3 3.3

ANTLR, ANother Tool for Language Recognition, (formerly PCCTS) is a language tool that provides a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing Java, C#, C++, or Python actions. …

antlr4 4.8

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files. It's widely used to build languages, tools, and frameworks. …

anubis 4.2.90

Anubis is a daemon that sits between the Mail User Agent (MUA) and the Mail Transfer Agent (MTA). When a mail is sent by a user in the MUA, it…

ao 1.2.2-5-g20dc8ed

Libao is a cross-platform audio library that allows programs to output audio using a simple API on a wide variety of platforms. It currently supports: 1. Null output (handy…

apache-arrow 0.17.1

Apache Arrow is a columnar in-memory analytics layer designed to accelerate big data. It houses a set of canonical in-memory representations of flat and hierarchical data along with multiple language-bindings for…

apache-thrift 0.13.0

Thrift provides clean abstractions and implementations for data transport, data serialization, and application level processing. The code generation system takes a simple definition language as input and generates code across programming languages…

apertium 3.5.2

Apertium is a rule based machine translation system featuring a shallow-transfer machine translation engine. The design of the system makes translations fast (translating tens of thousands of words per second on…

apfs-fuse 0.0.0-1.7b89418

APFS-FUSE is a read-only FUSE driver for the "Apple File System" (APFS). It is currently in an experimental state — it may not be able to read all files, and it…

apl 1.8

GNU APL is a free interpreter for the programming language APL. It is an implementation of the ISO standard 13751. …

Packages menu:

Browse alphabetically

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z