Some channel oriented processing blocks. These functions are also in gnuradio-core. Part of the main gnuradio build.

Some non-signal processing blocks. These functions are also in gnuradio-core. Part of the main gnuradio build.

This is a native Linux filesystem for Microsoft Onedrive Onedriver is a native Linux filesystem for Microsoft Onedrive. Files and metadata are downloaded on-demand instead of requiring you to sync your entire account to disk.

Open3D is an open-source library that supports rapid development of software that deals with 3D data. The Open3D frontend exposes a set of carefully selected data structures and algorithms in both C++ and Python. The backend is highly optimized and is set up for parallelization.

This library provides a language extension for declaring layouts in the Storm language platform.

This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.