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).