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.