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.
python3-cloup
Click with option groups
Cloup enriches Click with several features that make it more expressive and
configurable:
* option groups and an (optional) help section for positional arguments
* constraints, like mutually_exclusive, that can be applied to option groups
or to any group of parameters, even conditionally subcommand aliases
* subcommands sections, i.e. the possibility to organize the subcommands of
a Group in multiple help sections
* a themeable HelpFormatter that:
- has more parameters for adjusting widths and spacing, which can be
provided at the context and command level use a different layout when the
terminal width is below a certain threshold in order to improve
readability
- suggestions like "did you mean <subcommand>?" when you mistype a
subcommand
Moreover, Cloup improves on IDE support providing decorators with detailed
type hints and adding the static methods Context.settings() and
HelpFormatter.settings() for creating dictionaries of settings.
libhyprcursor0
hyprland cursor format, library and utilities
hyprcursor is the cursor format, and associated files and utilities
for Hyprland.
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.