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.