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