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