fpylll is a Python wrapper for fplll.

bc is an arbitrary precision numeric processing language. It includes an interactive environment for evaluating mathematical statements. Its syntax is similar to that of C, so basic usage is familiar. It also includes "dc", a reverse-polish calculator.

The Littlewood-Richardson Calculator (lrcalc) is a program designed to compute Littlewood-Richardson coefficients. It computes single Littlewood-Richardson coefficients, products of Schur functions, or skew Schur functions. In addition it computes products in the small quantum cohomology ring of a Grassmann variety. The software package also includes a program that performs fast computation of the more general multiplicative structure constants of Schubert polynomials.

lmfit is a C library for Levenberg-Marquardt least-squares minimization and curve fitting. It is mature code, based on decades-old algorithms from the FORTRAN library MINPACK.

Symmetrica is a library for combinatorics. It has support for the representation theory of the symmetric group and related groups, combinatorics of tableaux, symmetric functions and polynomials, Schubert polynomials, and the representation theory of Hecke algebras of type A_n.

fplll contains implementations of several lattice algorithms. The implementation relies on floating-point orthogonalization, and LLL is central to the code, hence the name.

It includes implementations of floating-point LLL reduction algorithms, offering different speed/guarantees ratios. It contains a wrapper choosing the estimated best sequence of variants in order to provide a guaranteed output as fast as possible. In the case of the wrapper, the succession of variants is oblivious to the user.

It includes an implementation of the BKZ reduction algorithm, including the BKZ-2.0 improvements (extreme enumeration pruning, pre-processing of blocks, early termination). Additionally, Slide reduction and self dual BKZ are supported.

It also includes a floating-point implementation of the Kannan-Fincke-Pohst algorithm that finds a shortest non-zero lattice vector. For the same task, the GaussSieve algorithm is also available in fplll. Finally, it contains a variant of the enumeration algorithm that computes a lattice vector closest to a given vector belonging to the real span of the lattice.

SymEngine is a standalone fast C++ symbolic manipulation library. Optional thin wrappers allow usage of the library from other languages.

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.

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.

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

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 a tool to create Android Boot Images.

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

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.

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.

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.

android-libutils provides utilities for Android NDK developers.

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.

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.

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

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

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.

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.

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