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.

libcgroup2

control and monitor control groups (library)

Control Groups (cgroups) provide a mechanism for aggregating/partitioning sets of tasks, and all their future children, into hierarchical groups with specialized behaviour.

libsml-utils

Small tool for testing and debugging libsml

sml_server was originally intended as an example but is quite useful by itself.

linux-support-6.6.11

Support files for Linux 6.6

This package provides support files for the Linux kernel build, e.g. scripts to handle ABI information and for generation of build system meta data.

libgnuastro14

GNU Astronomy Utilities shared libraries

GNU Astronomy Utilities (Gnuastro) is a collection of programs (the `gnuastro' package) and librarires (this package along with `libgnuastro-dev') for astronomical data analysis and manipulation. The programs can be run on the command-line for efficient and easy usage and the libraries can be used within C and C++ programs.

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.