deheader

Find and remove unnecessary includes in C or C++ source files

deheader analyzes C and C++ files to determine which header inclusions can be removed while still allowing them to compile. This may result in substantial improvements in compilation time, especially on large C++ projects; it also sometimes exposes dependencies and cohesions of which developers were unaware.

libgnatcoll-db-bin

Ada library accessing SQL databases (tools)

The gnatcoll-db library allows Ada programs to send SQL queries to SQLite or PostGreSQL databases.

libbdd0c2

Binary decision-diagram library (runtime)

Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy library.

python-pyorbital

Orbital and astronomy computations in Python 2

Python package for computing orbital parameters from TLE files, and making diverse astronomical computations.

gcc-i686-linux-android

cross toolchain and binutils for Android/Bionic on ARM

shinken-mod-collectd

Shinken mod-collectd module