Packages

3D real-time strategy game of ancient warfare

Data files for 0ad

Flash FIASCO images on Maemo devices

Enterprise-class LDAP server

4D Tetris

Clustered RDF storage and query engine

Mathematical tool suite for problems on linear spaces

Any file to PostScript, including pretty-printing

ASCII-art library

GNU/Linux port of the indie game "l'Abbaye des Morts"

Sequential logic synthesis and formal verification

Command-line audio CD ripper

Common Lisp Implementation on the JVM

Session management in a clean and simple way

Word processing program

Tool for manipulating Android Boot Images

D-Bus interface for user account query and manipulation

Standard login and process accounting utilities

Library and tools for manipulating access control lists

Let's Encrypt client by the OpenBSD project

Display information on ACPI devices

Tools for the development and debug of ACPI tables

Linux kernel module to perform ACPI method calls

Daemon for delivering ACPI events to user-space programs

Action game in four spatial dimensions

Rapid sequence adapter trimming, identification, and read merging

Android Debug Bridge

Automatic device model synthesizer

Asynchronous DNS client library and utilities

GNOME icon theme

Project change supervisor

Subtitle engine

Initial tagging script for notmuch mail

Dependently typed functional programming language and proof assistant

The Iowa Agda Library

High-quality 2D graphics rendering engine for C++

File and directory integrity checker

Assess WiFi network security

Solitaire card games

Snapshot connections between ALSA and JACK clients

Retro platform game

Autologin and keep-alive daemon

Game programming library

Game programming library

Game programming library

Command-line MUA using notmuch

Alternatively Licensed Program for Internet News and Email

The Advanced Linux Sound Architecture libraries

Realtime modular synthesizer and effect processor

Plugins for the Advanced Linux Sound Architecture (ALSA)

Utilities for the Advanced Linux Sound Architecture (ALSA)

Tool for amalgamating C source and header files

LADSPA ambisonics plugins

Security-oriented fuzzer

Port of Alsa Modular Synth internal modules into LV2

Analog modeling synthesizer

Actions, Menus and Toolbars Kit for GTK+ applications

Peer-to-peer client for the eD2K and Kademlia networks

Android Linux API that is safe for user space

Android ext4 file system utilities

Android f2fs utils

Test discovery and XUnit test framework

SELinux core libraries and utilities

Android platform sparse library

Android utility library

Android platform ZIP library

Stubs for the make system of the Android platform

Safe integers in C

udev rules for Android devices

Dungeon exploration roguelike

Anonymize IP addresses in log files

Radically simple IT automation

Build tool for Java

Build tool for Java

Build tool for Java

Japanese input method

Microsoft Word document reader

Build tool for Java

Framework for constructing recognizers, compilers, and translators

Framework for constructing recognizers, compilers, and translators

Cross platform audio library

Tool for programmatic computer-aided design

Columnar in-memory analytics

Rule based machine translation system

Read-only FUSE driver for the APFS file system

APL interpreter

Library for reading and writing AppStream metadata

The Apache Portable Runtime Library

One of the Apache Portable Runtime Library companions

NOAA Automatic Picture Transmission (APT) decoder

Interface for online banking tasks

Place-and-Route tool for FPGAs

Detect tRNA, mtRNA and tmRNA genes in nucleotide sequences

Another RandR graphical user interface

Arbitrary precision floating-point ball arithmetic

Display server, multimedia framework and game engine (egl-dri)

Command-line interface for Phabricator

Combined display server, multimedia framework and game engine (SDL)

Wayland protocol service for Arcan

Tool for mounting archive files with FUSE

Arc icon theme

A flat GTK+ theme with transparent elements

Digital audio workstation