Packages — A (Page 1 of 2)

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.2 — 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.50 — 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 20180810 — 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.30 — 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.4.1 — 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.

aircrack-ng 1.3 — Assess WiFi network security

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, which allows for heavy scripting.

aisleriot 3.22.5 — Solitaire card games

This is a GNU package.

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.8 — Snapshot connections between ALSA and JACK clients

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 programs, aj-snapshot can store both types of connections for JACK. ALSA, on the other hand, only provides routing facilities for MIDI clients. Aj-snapshot is meant to be used from the command line.

alive 2.0.2 — Autologin and keep-alive daemon

This is a GNU package.

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

allegro 4.4.2 — Game programming library

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 — Game programming library

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.4.0 — Game programming library

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 — Command-line MUA using notmuch

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

alpine 2.21.9999 — Alternatively Licensed Program for Internet News and Email

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

  3. pilot, the standalone file system navigator

alsa-lib 1.1.6 — The Advanced Linux Sound Architecture libraries

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

alsa-modular-synth 2.1.2 — Realtime modular synthesizer and effect processor

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 frequency e.g. of the VCO (Voltage Controlled Oscillator) and VCF (Voltage Controlled Filter) modules follow the convention of 1V / Octave.

alsa-plugins 1.1.6 — Plugins for the Advanced Linux Sound Architecture (ALSA)

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 for native alsa applications, format conversion (s16 to a52), and external rate conversion.

alsa-utils 1.1.6 — Utilities for the Advanced Linux Sound Architecture (ALSA)

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

amalgamate 1.1.1-0.c91f07e — Tool for amalgamating C source and header files

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

amb-plugins 0.8.1 — LADSPA ambisonics plugins

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.52b — Security-oriented fuzzer

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 targeted binary. This substantially improves the functional coverage for the fuzzed code. The compact synthesized corpora produced by the tool are also useful for seeding other, more labor- or resource-intensive testing regimes down the road.

ams-lv2 1.2.1 — Port of Alsa Modular Synth internal modules into LV2

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, slew limiter, envelopes, sample and hold, etc.

amsynth 1.7.1 — Analog modeling synthesizer

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, band-pass, notch); mono, poly, legato keyboard modes; dual ADSR envelope generators for filter and amplitude; LFO which can modulate the oscillators, filter, and amplitude; distortion and reverb effects.

amule 2.3.2 — Peer-to-peer client for the eD2K and Kademlia networks

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 graphical interface, and a Web GUI for remote access. The amulecmd command allows you to control aMule remotely.

android-bionic-uapi 7.1.2_r6 — Android Linux API that is safe for user space

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_r6 — Android ext4 filesystem utils

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

android-f2fs-utils 7.1.2_r6 — Android f2fs utils

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 — Test discovery and XUnit test framework

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

android-libselinux 7.1.2_r6 — SELinux core libraries and utilities

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 use the SELinux API, and used by all applications that are SELinux-aware. This package also includes the core SELinux management utilities.

android-libsparse 7.1.2_r6 — Android platform sparse library

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

android-libutils 7.1.2_r6 — Android utility library

android-libutils provides utilities for Android NDK developers.

android-libziparchive 7.1.2_r6 — Android platform ZIP library

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

android-make-stub 0.6.0 — Stubs for the make system of the Android platform

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_r6 — Safe integers in C

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 20180112 — udev rules for Android devices

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 to the udev-service-type in your operating-system configuration. Additionally, an adbusers group must be defined and your user added to it.

Simply installing this package will not have any effect. It is meant to be passed to the udev service.

angband 4.1.3 — Dungeon exploration roguelike

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.

ansible 2.5.7 — Radically simple IT automation

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.10.1 — Build tool for Java

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 projects. Ant uses XML to describe the build process and its dependencies, whereas Make uses Makefile format.

ant 1.9.9 — Build tool for Java

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 projects. Ant uses XML to describe the build process and its dependencies, whereas Make uses Makefile format.

ant-apache-bcel 1.10.1 — Build tool for Java

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 projects. Ant uses XML to describe the build process and its dependencies, whereas Make uses Makefile format.

ant-junit 1.10.1 — Build tool for Java

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 projects. Ant uses XML to describe the build process and its dependencies, whereas Make uses Makefile format.

anthy 9100h — Japanese input method

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 learned from the user's input, words the user has explicitly added, etc.) in the ~/.anthy/ directory. This package contains the anthy C libraries, the cannadic and alt-cannadic kana dictionaries, as well as command-line tools for using anthy and managing dictionaries.

antiword 0.37 — Microsoft Word document reader

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 or later are supported. The name comes from: "The antidote against people who send Microsoft Word files to everybody, because they believe that everybody runs Windows and therefore runs Word".

antlr2 2.7.7 — Framework for constructing recognizers, compilers, and translators

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. ANTLR provides excellent support for tree construction, tree walking, and translation.

antlr3 3.5.2 — Framework for constructing recognizers, compilers, and translators

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. ANTLR provides excellent support for tree construction, tree walking, and translation.

ao 1.2.0 — Cross platform audio library

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 for testing without a sound device),

  2. WAV files,

  3. AU files,

  4. RAW files,

  5. OSS (Open Sound System, used on Linux and FreeBSD),

  6. ALSA (Advanced Linux Sound Architecture),

  7. aRts (Analog RealTime Synth, used by KDE),

  8. PulseAudio (next generation GNOME sound server),

  9. esd (EsounD or Enlightened Sound Daemon),

  10. Mac OS X,

  11. Windows (98 and later),

  12. AIX,

  13. Sun/NetBSD/OpenBSD,

  14. IRIX,

  15. NAS (Network Audio Server),

  16. RoarAudio (Modern, multi-OS, networked Sound System),

  17. OpenBSD's sndio.

ao-cad 0-2.9d857d1 — Tool for programmatic computer-aided design

Libfive is a tool for programmatic computer-aided design (CAD). In libfive, solid models are defined as Scheme scripts, and there are no opaque function calls into the geometry kernel: everything is visible to the user. Even fundamental, primitive shapes are represented as code in the user-level language.

apache-arrow 0.7.0 — Columnar in-memory analytics

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 structure manipulation. It also provides IPC and common algorithm implementations.

apl 1.7 — APL interpreter

This is a GNU package.

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

appstream-glib 0.7.14 — Library for reading and writing AppStream metadata

This library provides objects and helper methods to help reading and writing AppStream metadata.

apr 1.6.3 — The Apache Portable Runtime Library

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 to provide an API to which software developers may code and be assured of predictable if not identical behaviour regardless of the platform on which their software is built, relieving them of the need to code special-case conditions to work around or take advantage of platform-specific deficiencies or features.

apr-util 1.6.1 — One of the Apache Portable Runtime Library companions

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

aqbanking 5.7.8 — Interface for online banking tasks

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, YellowNet, GeldKarte, and DTAUS discs are currently supported. AqBanking is used by GnuCash, KMyMoney, and QBankManager.

arachne-pnr 0.0-1-52e69ed20 — Place-and-Route tool for FPGAs

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

aragorn 1.2.38 — Detect tRNA, mtRNA and tmRNA genes in nucleotide sequences

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 predicted RNA.

arandr 0.1.9 — Another RandR graphical user interface

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. Configurations are saved as executable shell scripts which can be loaded without using this program.

arb 2.14.0 — Arbitrary precision floating-point ball arithmetic

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 error control.

arc-icon-theme 20161122 — Arc icon theme

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 20170302 — A flat GTK+ theme with transparent elements

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, Mate, etc.

archivemount 0.8.9 — Tool for mounting archive files with FUSE

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 from or written to as with any other file system. This makes accessing the contents of the archive, which may be compressed, transparent to other programs, without decompressing them.

ardour 5.12 — Digital audio workstation

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.

argon2 20171227 — Password hashing library

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

argtable 2.13 — Command line option parsing library

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 argtable structs. The command line is then parsed according to that specification and the resulting values are returned in those same structs where they are accessible to the main program. Both tagged (-v, --verbose, --foo=bar) and untagged arguments are supported, as are multiple instances of each argument. Syntax error handling is automatic and the library also provides the means for generating a textual description of the command line syntax.

aria-maestosa 1.4.13 — MIDI sequencer and editor

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 controller views.

aria2 1.34.0 — Utility for parallel downloading files

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 — Natural deduction first-order logic interface

This is a GNU package.

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 rules, Aris also supports references to older proofs. Its use of standard logical symbols and its natural deduction interface make it easy to use for beginners.

arm-none-eabi-nano-toolchain 4.9.4-1.227977 — Complete GCC tool chain for ARM bare metal development

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 languages are C and C++.

arm-none-eabi-nano-toolchain 6.4.0 — Complete GCC tool chain for ARM bare metal development

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 languages are C and C++.

arm-none-eabi-toolchain 6.4.0 — Complete GCC tool chain for ARM bare metal development

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 languages are C and C++.

arm-none-eabi-toolchain 4.9.4-1.227977 — Complete GCC tool chain for ARM bare metal development

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 languages are C and C++.

arm-trusted-firmware-pine64-plus 1.2-1.ae78724 — Implementation of "secure world software"

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, such as:

  1. The Power State Coordination Interface (PSCI)

  2. Trusted Board Boot Requirements (TBBR, ARM DEN0006C-1)

  3. SMC Calling Convention

  4. System Control and Management Interface

  5. Software Delegated Exception Interface (SDEI)

arm-trusted-firmware-puma-rk3399 1.3-1.d71e6d8 — Implementation of "secure world software"

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, such as:

  1. The Power State Coordination Interface (PSCI)

  2. Trusted Board Boot Requirements (TBBR, ARM DEN0006C-1)

  3. SMC Calling Convention

  4. System Control and Management Interface

  5. Software Delegated Exception Interface (SDEI)

armadillo 9.100.5 — C++ linear algebra library

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 research code into production environments. It can be used for machine learning, pattern recognition, signal processing, bioinformatics, statistics, econometrics, etc. The library provides efficient classes for vectors, matrices and cubes, as well as 150+ associated functions (eg. contiguous and non-contiguous submatrix views).

armagetronad 0.2.8.3.4 — Tron clone in 3D

Armagetron 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 21st century. Highlights include a customizable playing arena, HUD, unique graphics, and AI bots. For the more advanced player there are new game modes and a wide variety of physics settings to tweak as well.

arpack-ng 3.6.3 — Fortran subroutines for solving eigenvalue problems

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

arpack-ng 3.3.0 — Fortran subroutines for solving eigenvalue problems

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

arpack-ng-openmpi 3.6.3 — Fortran subroutines for solving eigenvalue problems with MPI

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

artanis 0.2.1-3 — Web application framework written in Guile

This is a GNU package.

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 applications, web services and web resources. The framework aims to alleviate the overhead associated with common activities performed in web development. Artanis provides several tools for web development: database access, templating frameworks, session management, URL-remapping for RESTful, page caching, and more.

asciidoc 8.6.10 — Text-based document generation system

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, EPUB, man page.

AsciiDoc is highly configurable: both the AsciiDoc source file syntax and the backend output markups (which can be almost any type of SGML/XML markup) can be customized and extended by the user.

asciinema 1.4.0 — Terminal session recorder

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.