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.

rosidl-generators

Language generators for ROS 2 IDL support

This package is part of ROS 2, the Robot Operating System. ROS 2 uses the OMG Data Distribution Standard (DDS) as middleware layer, which in turn relies on the Interface Definition Language (IDL) to define the messages which can be exchanged between ROS network participants. For historical reasons, ROS has its own message definition format; the ROS 2 IDL support layer is responsible for transforming the ROS message format to the IDL format.

rhvoice-esperanto

RHVoice speech synthesizer - Esperanto voice

RHVoice uses statistical parametric synthesis. It relies on existing open source speech technologies (mainly HTS and related software).

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.

libfxt2t64

Multithreaded tracing library

FxT is a library and associated tools that can be used to analyze the performance of multithreaded programs which can potentially use a hybrid thread scheduler (i.e. a user-level scheduler on top of a kernel-level one). The Marcel thread library can take full profit from this library.