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.
dmtcp
Checkpoint/Restart functionality for Linux processes
DMTCP (Distributed MultiThreaded Checkpointing) is a tool to
transparently checkpointing the state of an arbitrary group of
applications including multi-threaded and distributed computations.
It operates directly on the user binary executable, with no Linux kernel
modules or other kernel mods.
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.
scons
replacement for make
SCons is a make replacement providing a range of enhanced features such
as automated dependency generation and built in compilation cache
support. SCons rule sets are Python scripts so as well as the features
it provides itself SCons allows you to use the full power of Python
to control compilation.
libcoq-gappa
Coq tactic to use Gappa for floating-point goals
This package provides a Coq tactic to discharge goals about
floating-point arithmetic and round-off errors to Gappa.