Library for handling analog signal processing functions. These functions are also in gnuradio-core. Part of the main gnuradio build.

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

step-ca is and online certificate authority for secure, automated certificate management.

Library of Daubechies wavelet function blocks. wvps computes the Wavelet Power Spectrum from a set of wavelet coefficients.

LV2 is an extensible open standard for audio plugins.

Display pipes in your terminal. pipes-sh allows you to watch pipes being drawn in your terminal. Multiple types for pipes are available.