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

Packages — A (Page 2 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

apply-refact 0.6.0.0

This package lets you perform refactorings specified by the refact library. It is primarily used with HLint's `--refactor' flag. …

appstream-glib 0.7.18

This library provides objects and helper methods to help reading and writing AppStream (https://www.freedesktop.org/wiki/Distributions/AppStream) metadata. …

apr 1.6.5

The mission of the Apache Portable Runtime (APR) project is to create and maintain software libraries that provide a predictable and consistent interface to underlying platform-specific implementations. The primary goal is…

apr-util 1.6.1

APR-util provides a number of helpful abstractions on top of APR. …

apt-mirror 0.5.4-1.e664486

apt-mirror is a small tool that provides the ability to selectively mirror Debian and Ubuntu GNU/Linux distributions or any other apt sources typically provided by open source developers. …

aptdec 1.7

Aptdec decodes Automatic Picture Transmission (APT) images. These are medium resolution images of the Earth transmitted by, among other satellites, the POES NOAA weather satellite series. These transmissions are on…

aqbanking 5.99.44beta

AqBanking is a modular and generic interface to online banking tasks, financial file formats (import/export) and bank/country/currency information. AqBanking uses backend plugins to actually perform the online tasks. HBCI, OFX DirectConnect,…

arachne-pnr 0.0-2-840bdfdeb

Arachne-PNR is a Place-and-Route Tool For FPGAs. …

aragorn 1.2.38

Aragorn identifies transfer RNA, mitochondrial RNA and transfer-messenger RNA from nucleotide sequences, based on homology to known tRNA consensus sequences and RNA structure. It also outputs the secondary structure of the…

arandr 0.1.10

ARandR is designed to provide a simple visual front end for the X11 resize-and-rotate (RandR) extension. Relative monitor positions are shown graphically and can be changed in a drag-and-drop way. …

arb 2.18.1

Arb is a C library for arbitrary-precision floating-point ball arithmetic. It supports efficient high-precision computation with polynomials, power series, matrices and special functions over the real and complex numbers, with automatic, rigorous…

arc-icon-theme 20161122

The Arc icon theme provides a set of icons matching the style of the Arc GTK theme. Icons missing from the Arc theme are provided by the Moka icon theme. …

arc-theme 20190917

Arc is a flat theme with transparent elements for GTK 3, GTK 2, and GNOME Shell which supports GTK 3 and GTK 2 based desktop environments like GNOME, Unity, Budgie, Pantheon, XFCE,…

arcan 0.5.5.2-1.b4dd1fb

Arcan is a development framework for creating virtually anything from user interfaces for specialized embedded applications all the way to full-blown desktop environments. At its heart lies a multimedia engine programmable…

arcan-sdl 0.5.5.2-1.b4dd1fb

Arcan is a development framework for creating virtually anything from user interfaces for specialized embedded applications all the way to full-blown desktop environments. At its heart lies a multimedia engine programmable…

arcan-wayland 0.5.5.2-1.b4dd1fb

Arcan-wayland (waybridge) bridges Wayland connections with an Arcan connection point. It allows Wayland compatible clients to connect and render using Arcan. …

arcanist 0.0.0-2.ceb082e

Arcanist is the command-line tool for the Phabricator software development service. It allows you to interact with Phabricator installs to send code for review, download patches, transfer files, view status, make…

archivemount 0.8.12

archivemount is a FUSE-based file system for Unix variants, including Linux. Its purpose is to mount archives (i.e. tar, tar.gz, etc.) to a mount point where it can be read…

ardour 5.12

Ardour is a multi-channel digital audio workstation, allowing users to record, edit, mix and master audio and MIDI projects. It is targeted at audio engineers, musicians, soundtrack editors and composers. …

arducopter-bbbmini 3.6.11

`ardupilot' is an unmanned vehicle autopilot software suite capable of controlling autonomous: * multirotor drones * fixed-wing and vtol aircraft * helicopters *…

arducopter-bebop 3.6.11

`ardupilot' is an unmanned vehicle autopilot software suite capable of controlling autonomous: * multirotor drones * fixed-wing and vtol aircraft * helicopters *…

arduplane-bbbmini 4.0.1

`ardupilot' is an unmanned vehicle autopilot software suite capable of controlling autonomous: * multirotor drones * fixed-wing and vtol aircraft * helicopters *…

argon2 20190702

Argon2 provides a key derivation function that was declared winner of the 2015 Password Hashing Competition. …

argtable 2.13

Argtable is an ANSI C library for parsing GNU style command line options. It enables a program's command line syntax to be defined in the source code as an array of…

aria-maestosa 1.4.13

Aria Maestosa is a MIDI sequencer and editor. It lets you compose, edit and play MIDI files with a few clicks in a user-friendly interface offering score, keyboard, guitar, drum and…

aria2 1.35.0

Aria2 is a lightweight, multi-protocol & multi-source command-line download utility. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink. Aria2 can be manipulated via built-in JSON-RPC and XML-RPC interfaces. …

aris 2.2

Aris is a program for performing logical proofs. It supports propositional and predicate logic, as well as Boolean algebra and arithmetical logic. In addition to its predefined inference and equivalence…

arm-none-eabi-nano-toolchain 7-2018-q2-update-1.261907

This package provides a complete GCC tool chain for ARM bare metal development. This includes the GCC arm-none-eabi cross compiler and newlib (or newlib-nano) as the C library. The supported programming…

arm-none-eabi-nano-toolchain 4.9.4-1.227977

This package provides a complete GCC tool chain for ARM bare metal development. This includes the GCC arm-none-eabi cross compiler and newlib (or newlib-nano) as the C library. The supported programming…

arm-none-eabi-nano-toolchain 6.5.0

This package provides a complete GCC tool chain for ARM bare metal development. This includes the GCC arm-none-eabi cross compiler and newlib (or newlib-nano) as the C library. The supported programming…

arm-none-eabi-toolchain 6.5.0

This package provides a complete GCC tool chain for ARM bare metal development. This includes the GCC arm-none-eabi cross compiler and newlib (or newlib-nano) as the C library. The supported programming…

arm-none-eabi-toolchain 7-2018-q2-update-1.261907

This package provides a complete GCC tool chain for ARM bare metal development. This includes the GCC arm-none-eabi cross compiler and newlib (or newlib-nano) as the C library. The supported programming…

arm-none-eabi-toolchain 4.9.4-1.227977

This package provides a complete GCC tool chain for ARM bare metal development. This includes the GCC arm-none-eabi cross compiler and newlib (or newlib-nano) as the C library. The supported programming…

arm-trusted-firmware-puma-rk3399 1.3-1.d71e6d8

ARM Trusted Firmware provides a reference implementation of secure world software for ARMv7A and ARMv8-A, including a Secure Monitor executing at "Exception Level 3" (EL3). It implements various ARM interface standards,…

arm-trusted-firmware-rk3328 2.3

ARM Trusted Firmware provides a reference implementation of secure world software for ARMv7A and ARMv8-A, including a Secure Monitor executing at "Exception Level 3" (EL3). It implements various ARM interface standards,…

arm-trusted-firmware-rk3399 2.3

ARM Trusted Firmware provides a reference implementation of secure world software for ARMv7A and ARMv8-A, including a Secure Monitor executing at "Exception Level 3" (EL3). It implements various ARM interface standards,…

arm-trusted-firmware-sun50i-a64 2.3

ARM Trusted Firmware provides a reference implementation of secure world software for ARMv7A and ARMv8-A, including a Secure Monitor executing at "Exception Level 3" (EL3). It implements various ARM interface standards,…

armadillo 9.100.5

Armadillo is a C++ linear algebra library, aiming towards a good balance between speed and ease of use. It is useful for algorithm development directly in C++, or quick conversion of…

armagetronad 0.2.9.0.1

Armagetron Advanced is a multiplayer game in 3d that attempts to emulate and expand on the lightcycle sequence from the movie Tron. It's an old school arcade game slung into the…

armips 0.11.0

armips is an assembler with full support for the MIPS R3000, MIPS R4000, Allegrex and RSP instruction sets, partial support for the EmotionEngine instruction set, as well as complete support for the…

arpack-ng 3.6.3

ARPACK-NG is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems. …

arpack-ng 3.3.0

ARPACK-NG is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems. …

arpack-ng-openmpi 3.6.3

ARPACK-NG is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems. …

arriba 1.0.1

Arriba is a command-line tool for the detection of gene fusions from RNA-Seq data. It was developed for the use in a clinical research setting. Therefore, short runtimes and high…

artanis 0.4.1

GNU Artanis is a web application framework written in Guile Scheme. A web application framework (WAF) is a software framework that is designed to support the development of dynamic websites, web…

artyfx 1.3

ArtyFX is an LV2 plugin bundle of artistic real-time audio effects. It contains a bitcrusher, delay, distortion, equalizer, compressor, and reverb. …

arx-libertatis 1.1.2

Arx Libertatis is a cross-platform port of Arx Fatalis, a 2002 first-person role-playing game / dungeon crawler developed by Arkane Studios. This port however does not include the game data, so…

ascii2binary 2.14

The two programs are useful for generating test data, for inspecting binary files, and for interfacing programs that generate textual output to programs that require binary input and conversely. They can…

asciidoc 8.6.10

AsciiDoc is a text document format for writing notes, documentation, articles, books, ebooks, slideshows, web pages, man pages and blogs. AsciiDoc files can be translated to many formats including HTML, PDF,…

asciidoc-py3 9.0.1

AsciiDoc is a text document format for writing notes, documentation, articles, books, ebooks, slideshows, web pages, man pages and blogs. AsciiDoc files can be translated to many formats including HTML, PDF,…

asciinema 2.0.2

Use asciinema to record and share your terminal sessions, the right way. Forget screen recording apps and blurry video. Enjoy a lightweight, purely text-based approach to terminal recording. …

asco 0.4.10

ASCO brings circuit optimization capabilities to existing SPICE simulators using a high-performance parallel differential evolution (DE) optimization algorithm. …

aseba 1.6.0-0.3b35de8

Aseba means "actuator and sensor event-based architecture". It is a set of tools which allow beginners to program robots easily and efficiently. It includes robot simulators, a programming language, and…

aseprite 1.1.7

Aseprite is a tool for creating 2D pixel art for video games. In addition to basic pixel editing features, Aseprite can assist in the creation of animations, tiled graphics, texture atlases,…

ashuffle 2.0.2

ashuffle is an application for automatically shuffling your MPD library in a similar way to many other music players' 'shuffle library' feature. ashuffle works like any other MPD client, and can…

asignify 1.1-0.f58e797

Asignify offers public cryptographic signatures and encryption with a library or a command-line tool. The tool is heavily inspired by signify as used in OpenBSD. The main goal of this…

asio 1.12.2

Asio is a cross-platform C++ library for network and low-level I/O programming that provides developers with a consistent asynchronous model using a modern C++ approach. …

asn1c 0.9.28

The ASN.1 to C compiler takes ASN.1 module files and generates C++ compatible C source code. That code can be used to serialize the native C structures into compact and unambiguous…

aspell 0.60.8

Aspell is a spell-checker which can be used either as a library or as a standalone program. Notable features of Aspell include its full support of documents written in the UTF-8…

aspell-dict-ar 1.2-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-be 0.01

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-ca 2.5.0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-da 1.6.36-11-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-de 20161207-7-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-el 0.08-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-en 2019.10.06-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-eo 2.1.20000225a-2

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-es 1.11-2

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-fi 0.7-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-fr 0.50-3

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-grc 0.02-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-he 1.0-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-hi 0.02-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-it 2.4-20070901-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-mi 0.50-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-nl 0.50-2

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-nn 0.50.1-1

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-pl 0.51-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-pt-br 20131030-12-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-pt-pt 20190329-1-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-ru 0.99f7-1

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-sl 0.50-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-sv 0.51-0

This package provides a dictionary for the GNU Aspell spell checker. …

aspell-dict-uk 1.4.0-0

This package provides a dictionary for the GNU Aspell spell checker. …

assimp 4.1.0

The Open Asset Import Library loads more than 40 3D file formats into one unified data structure. Additionally, assimp features various mesh post processing tools: normals and tangent space generation, triangulation,…

assword 0.11

assword is a simple password manager using GPG-wrapped JSON files. It has a command line interface as well as a very simple graphical interface, which can even "type" your passwords into…

astromenace 1.4.1

Space is a vast area, an unbounded territory where it seems there is a room for everybody, but reversal of fortune put things differently. The hordes of hostile creatures crawled out…

astyle 3.1

Artistic Style is a source code indenter, formatter, and beautifier for the C, C++, C++/CLI, Objective‑C, C#, and Java programming languages. …

asunder 2.9.7

Asunder is a graphical audio CD ripper and encoder. It can save audio tracks as WAV, MP3, Ogg Vorbis, FLAC, Opus, Wavpack, and Musepack. It can use CDDB to name…

asymptote 2.67

Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality level of typesetting that…

at-spi2-atk 2.34.1

The Assistive Technology Service Provider Interface is part of the GNOME accessibility project. …

at-spi2-core 2.34.0

The Assistive Technology Service Provider Interface, core components, is part of the GNOME accessibility project. …

ataqv 1.0.0

This package provides a toolkit for measuring and comparing ATAC-seq results. It was written to make it easier to spot differences that might be caused by ATAC-seq library prep or sequencing.…

ath9k-htc-firmware 1.4.0

This is the firmware for the Qualcomm Atheros AR7010 and AR9271 USB 802.11n NICs (aka Wi-Fi USB dongles). It is used by the ath9k driver of Linux-libre. …

atk 2.34.1

ATK provides the set of accessibility interfaces that are implemented by other toolkits and applications. Using the ATK interfaces, accessibility tools have full access to view and control running applications. …

atkmm 2.28.0

ATKmm provides a C++ programming interface to the ATK accessibility toolkit. …

atlas 3.10.3

ATLAS is an automatically tuned linear algebra software library providing C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK. Optimization occurs at build time.…

atomspace 5.0.3-1.86c848d

The OpenCog AtomSpace is an in-RAM "knowledge representation" (KR) database, an associated query engine and graph-re-writing system, and a rule-driven inferencing engine that can apply and manipulate sequences of rules to perform reasoning.…

atool 0.39.0

The main command is `aunpack' which extracts files from an archive. The other commands provided are `apack' (to create archives), `als' (to list files in archives), and `acat' (to extract files…

atril 1.22.0

Document viewer for Mate …

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