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.
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.