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.