libqzxing3

QZXing library

Qt wrapper for the ZXing 1D/2D barcode image decoder.

libgnuradio-digital3.10.5

gnuradio digital communications functions

All the functions for doing digital modulation and demodulation, including bpsk, qpsk, gmsk and ofdm signals. Part of the main gnuradio build.

libstarpu-1.3-7

Task scheduler for heterogeneous multicore machines

StarPU is a runtime system that offers support for heterogeneous multicore machines. While many efforts are devoted to design efficient computation kernels for those architectures (e.g. to implement BLAS kernels on GPUs or on Cell's SPUs), StarPU not only takes care of offloading such kernels (and implementing data coherency across the machine), but it also makes sure the kernels are executed as efficiently as possible.

lib32gphobos3-x32-cross

Phobos D standard library (runtime library)

This is the Phobos standard library that comes with the D2 compiler.

qml-module-org-kde-notifications

Framework for desktop notifications

KNotification is used to notify the user of an event. It covers feedback and persistent events.

libcoq-mathcomp-algebra

Mathematical Components library for Coq (algebra)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.