Normaliz is a tool for computations in affine monoids, vector configurations, rational polyhedra and rational cones. Normaliz now computes rational and algebraic polyhedra, i.e., polyhedra defined over real algebraic extensions of QQ.

xtensor is a C++ library meant for numerical analysis with multi-dimensional array expressions.

xtensor provides:

• an extensible expression system enabling lazy broadcasting.

• an API following the idioms of the C++ standard library.

• tools to manipulate array expressions and build upon xtensor.

Giac/Xcas is a computer algebra system. It has a compatibility mode for maple, mupad and the TI89. It is available as a standalone program (graphic or text interfaces) or as a C++ library.

The F-Droid server tools provide various scripts and tools that are used to maintain F-Droid, the repository of free Android applications. You can use these same tools to create your own additional or alternative repository for publishing, or to assist in creating, testing and submitting metadata to the main repository.

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.

While the Android client integrates with the system with regular update checks and notifications, this is a simple command line client that talks to connected devices via ADB.

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

This package provides a standalone port of AOSP's libsparse that converts Android sparse filesystem images into raw ext4 images, avoiding the need for the full Android build chain.

An rsync-like command-line utility that facilitates file transfer over ADB. There are several additional features over Google's original adbsync version with support for the --exclude, --exclude-from, --del, and --delete-excluded command line flags, which have the same purpose to the corresponding rsync flags.

android-libutils provides utilities for Android NDK developers.

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

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.

This package provides a tool to create Android Boot Images.

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.

Android applications are Java programs that run on a customized virtual machine, which is part of the Android operating system, the Dalvik VM. Their bytecode differs from the bytecode of normal Java applications. Enjarify can translate the Dalvik bytecode back to equivalent Java bytecode, which simplifies the analysis of Android applications. It's an alternative fork of not maintained Goole's project https://github.com/google/enjarify.

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.

This package provides a Qt graphical interface for transferring files with Android devices using MTP. It also allows the Android device to be mounted via FUSE.

This package provides fastboot, a tool to upload file system images to Android devices.

Ericsson Texture Compression (ETC) is a lossy texture compression technique developed in collaboration with Ericsson Research in early 2005. libETC1 provides the encoding and decoding of ETC1 compression algorithm.

This package is an Emacs interface to F-Droid. Its purpose is to aid in the management of F-Droid packages for an Android device or an emulator inside the comfort of Emacs.

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

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 in Main, System, Radio and Events sub-logs.

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.

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