libotbimagebase-8.1-1

ORFEO Toolbox library - OTBImageBase

ORFEO Toolbox (OTB) is distributed as an open source library of image processing algorithms. OTB is based on the medical image processing library ITK and offers particular functionalities for remote sensing image processing in general and for high spatial resolution images in particular.

libotbimagemanipulation-8.1-1

ORFEO Toolbox library - OTBImageManipulation

ORFEO Toolbox (OTB) is distributed as an open source library of image processing algorithms. OTB is based on the medical image processing library ITK and offers particular functionalities for remote sensing image processing in general and for high spatial resolution images in particular.

libcoq-interval

interval arithmetic for Coq

This package provides tactics to simplify the proof of inequalities on expressions of real numbers.

libgnuradio-pdu3.10.1

gnuradio streaming protocol library

Protocol Data Units library provides signal processing blocks that operate on Protocol Data Unit format messages. Many such blocks are analogs of streaming API functionality. Part of the main gnuradio build.

hipcc

C++ Runtime API and Kernel Language for AMD and NVIDIA GPUs

HIP (Heterogeneous Interface for Portability) is a C++ Runtime API and Kernel Language that allows developers to create portable applications for AMD and NVIDIA GPUs from single source code.

task-freedombox-blend

FreedomBox home server

This package is used to install the FreedomBox home server blend.