libzdb13

Zild Database Library [runtime]

A small and easy to use database API written in C.

libghc-text-builder-prof

efficient strict text builder; profiling libraries

Specification of how to efficiently construct strict Text. Provides instances of Semigroup and Monoid, which have complexity of O(1).

deviceinfo-extras

Library to detect and configure devices - extra programs

Library to detect and configure devices

sqlreduce

Reduce verbose SQL queries to minimal examples

SQLreduce takes as input an arbitrary SQL query which is then run against a PostgreSQL server. Various simplification steps are applied, while checking that the simplified query still exhibits the same error from PostgreSQL.

libqt6bodymovin6

Qt 6 Lottie Bodymovin library

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libmrpt-nanogui2.12

Mobile Robot Programming Toolkit - nanogui 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).