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.

Mpfrcx is a library for the arithmetic of univariate polynomials over arbitrary precision real (mpfr) or complex (mpc) numbers, without control on the rounding. For the time being, only the few functions needed to implement the floating point approach to complex multiplication are implemented. On the other hand, these comprise asymptotically fast multiplication routines such as Toom–Cook and the FFT.

msolve is a C library implementing computer algebra algorithms for solving polynomial systems (with rational coefficients or coefficients in a prime field).

Currently, with msolve, you can basically solve multivariate polynomial systems. This encompasses:

• the computation of Groebner bases

• real root isolation of the solutions to polynomial systems

• the computation of the dimension and the degree of the solution set.

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

This package provides a tool to create Android Boot Images.

This package provides a drop-in replacement for sdkmanager from the Android SDK. It is written in Python and part of the F-Droid project. It implements the exact API of the Android sdkmanager command line. The project also attempts to maintain the same terminal output.

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

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 for manipulating old Android Boot Images. abootimg can work directly on block devices, or, the safest way, on a file image.

Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.

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

android-libutils provides utilities for Android NDK developers.

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.

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-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 provides a set of functions for performing and checking safe integer operations. Ensure that integer operations do not result in silent overflow.

This package provides library and command line interface for communicating with Xiaomi smart appliances over miIO and MIoT protocols.

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.

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.

etc1 is a command line utility that lets you encode PNG images to the ETC1 compression standard and decode ETC1 compressed images back to PNG. This tool is part of the Android SDK for working with media files for game apps.

The standard for the ETC1 texture format can be found at http://www.khronos.org/registry/gles/extensions/OES/OES_compressed_ETC1_RGB8_texture.txt.

Androguard is a full Python tool to manipulate Android files. It is useful for reverse engineering, analysis of Android applications and more.

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