libgnuradio-filter3.10.1
gnuradio filter functions
Library of filter blocks used in gnuradio. Implements
FIR, IIR and FFT filters, as well as Polyphase filterbank and
PFB arbitrary resampler methods.
Part of the main gnuradio build.
librte-gro22
Data Plane Development Kit (librte-gro runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
libgovarnam1
Transliteration library to type Indic languages
Govarnam is a transliteration library to type Indic languages.
libgnuradio-blocks3.10.5
gnuradio blocks functions
Some non-signal processing blocks.
These functions are also in gnuradio-core.
Part of the main gnuradio build.
libgnuradio-channels3.10.5
gnuradio channels functions
Some channel oriented processing blocks.
These functions are also in gnuradio-core.
Part of the main gnuradio build.
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.