libcoq-bignums
Coq library for big numbers
This package provides big numbers (natural numbers,
integers and rationals) in Coq, as BigN, BigZ and BigQ,
which used to be part of the standard library.
libmrpt-containers2.12
Mobile Robot Programming Toolkit - containers library
The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform,
and open source C++ library aimed to help robotics researchers to design and
implement algorithms in the fields of Simultaneous Localization and Mapping
(SLAM), computer vision, and motion planning (obstacle avoidance).
apertium-mkd-bul
Apertium translation data for the Macedonian-Bulgarian pair
Data package providing Apertium language resources for translating
between the Macedonian and Bulgarian languages.
python3-asf-search
Python wrapper for ASF's SearchAPI
ASF Data Search is an easy to use search tool for finding SAR
data and freely processing higher level SAR products such as
InSAR and AutoRIFT products with ASF's HyP3 service.
qml6-module-lomiri-components-extras
Lomiri UI Extra Components (Qt6)
A collection of UI components that for various reasons can't be included in
the main Lomiri UI toolkit - mostly because of the level of quality, lack of
documentation and/or lack of automated tests.
liblogstash-logback-encoder-java
Logstash Logback Encoder
Provides logback encoders, layouts, and appenders to log in JSON and other
formats supported by Jackson