libmrpt-rtti2.4
Mobile Robot Programming Toolkit - rtti 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).
libmrpt-vision2.4
Mobile Robot Programming Toolkit - vision 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).
libghc-prettyprinter-interp-prof
Efficient interpolation for Prettyprinter; profiling libraries
This package provides efficient interpolation of string-interpolate quasi
quoters when used with prettyprinter.
psmt2-frontend
Parse and type-check SMT-LIB 2 (tool)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 with prenex polymorphism.
libghc-attoparsec-aeson-prof
Parsing of aeson's Value with attoparsec; profiling libraries
Parsing of aeson's Value with attoparsec, originally from aeson.
mir-platform-graphics-x20
Mir Display Server - platform library for X11 Mesa
Mir is a display server running on Linux systems, with a focus on efficiency,
robust operation and a well-defined driver model.