GNU Guix provides 7,439 packages transparently available as pre-built binaries. These pages provide a complete list of the packages. Our continuous integration system shows their current build status (updated April 24, 2018).
0ad 0.0.22-alpha — 3D real-time strategy game of ancient warfare
0 A.D. is a real-time strategy (RTS) game of ancient warfare. It's a historically-based war/economy game that allows players to relive or rewrite the history of twelve ancient civilizations, each depicted at their peak of economic growth and military prowess.
0ad needs a window manager that supports 'Extended Window Manager Hints'.
0ad-data 0.0.22-alpha — Data files for 0ad
0ad-data provides the data files required by the game 0ad.
0xffff 0.7 — Flash FIASCO images on Maemo devices
The Open Free Fiasco Firmware Flasher (0xFFFF) is a flashing tool for FIASCO images. It supports generating, unpacking, editing and flashing of FIASCO images for Maemo devices. Use it with care. It can brick your device.
4store 1.1.6 — Clustered RDF storage and query engine
4store is a RDF/SPARQL store written in C, supporting either single machines or networked clusters.
4ti2 1.6.7 — Mathematical tool suite for problems on linear spaces
4ti2 implements algorithms for solving algebraic, geometric and combinatorial problems on linear spaces. Among others, it solves systems of linear equations, computes extreme rays of polyhedral cones, solves integer programming problems and computes Markov bases for statistics.
a2ps 4.14 — Any file to PostScript, including pretty-printing
This is a GNU package.
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 handles as many steps as is necessary to produce a pretty-printed file. It also includes some extra abilities for special cases, such as pretty-printing "--help" output.
aalib 1.4rc5 — ASCII-art library
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 renderer.
abbaye 2.0.1 — GNU/Linux port of the indie game "l'Abbaye des Morts"
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 Languedoc region in France. One of them, called Jean Raymond, found an old church in which to hide, not knowing that beneath its ruins lay buried an ancient evil.
abc 0.0-1-5ae4b975c — Sequential logic synthesis and formal verification
ABC is a program for sequential logic synthesis and formal verification.
abcde 2.9.1 — Command-line audio CD ripper
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 one go.
abduco 0.6 — Session management in a clean and simple way
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.
abiword 3.0.2 — Word processing program
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 some good old typing fun.
abootimg 0.6 — Tool for manipulating Android Boot Images
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.
accountsservice 0.6.43 — D-Bus interface for user account query and manipulation
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 — Standard login and process accounting utilities
This is a GNU package.
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.52 — Library and tools for manipulating access control lists
Library and tools for manipulating access control lists.
acme-client 0.1.16 — Let's Encrypt client by the OpenBSD project
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 is developed on OpenBSD and then ported to the GNU / Linux environment.
acpi 1.7 — Display information on ACPI devices
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.
acpica 20180313 — Tools for the development and debug of ACPI tables
The ACPI Component Architecture (ACPICA) project provides an OS-independent reference implementation of the Advanced Configuration and Power Interface Specification (ACPI). ACPICA code contains those portions of ACPI meant to be directly integrated into the host OS as a kernel-resident subsystem, and a small set of tools to assist in developing and debugging ACPI tables. This package contains only the user-space tools needed for ACPI table development, not the kernel implementation of ACPI.
acpid 2.0.28 — Daemon for delivering ACPI events to user-space programs
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. When an ACPI event is received from the kernel, acpid will examine the list of rules specified in /etc/acpi/events and execute the rules that match the event.
adb 7.1.2_r6 — Android Debug Bridge
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 apps, and it provides access to a Unix shell that can run commands on the connected device or emulator.
adms 2.3.6 — Automatic device model synthesizer
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 XML language, ADMS transforms Verilog-AMS code into other target languages.
adns 1.5.1 — Asynchronous DNS client library and utilities
This is a GNU package.
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.26.1 — GNOME icon theme
This is a GNU package.
Icons for the GNOME desktop.
aegis 4.24 — Project change supervisor
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 on many changes to a program independently, and Aegis coordinates integrating these changes back into the master source of the program, with as little disruption as possible. Resolution of contention for source files, a major headache for any project with more than one developer, is one of Aegis's major functions.
aegisub 3.2.2 — Subtitle engine
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 real-time video preview.
afew 1.2.0 — Initial tagging script for notmuch mail
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 Maildir folders and can handle spam and killed threads.
agda 2.5.3 — Dependently typed functional programming language and proof assistant
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 has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: it is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
agg 2.5 — High-quality 2D graphics rendering engine for C++
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.
aide 0.16 — File and directory integrity checker
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 database is initialized it can be used to verify the integrity of the files. It has several message digest algorithms that are used to check the integrity of files. All of the usual file attributes can be checked for inconsistencies.