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.