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.