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

A package dependency resolver based on a SAT solver. This was originally written for the 0install package manager, but is now generic and is also used as a solver backend for opam. The SAT solver is based on MiniSat (http://minisat.se/Papers.html) and the application to package management is based on OPIUM (Optimal Package Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find the optimal solution extremely quickly (even for a SAT-based solver).

This package is part of ROS 2, the Robot Operating System. ROS 2 uses the OMG Data Distribution Standard (DDS) as middleware layer, which in turn relies on the Interface Definition Language (IDL) to define the messages which can be exchanged between ROS network participants. For historical reasons, ROS has its own message definition format; the ROS 2 IDL support layer is responsible for transforming the ROS message format to the IDL format.

A library for computing disparity maps from rectified graylevel stereo pairs. It is robust against moderate changes in illumination and well suited for robotics applications with high resolution images. Computing the left and right disparity map of a one Megapixel image requires less than one second on a single i7 CPU core.

PipeWire Media Session is an example session manager for PipeWire.

PipeWire Media Session is an example session manager for PipeWire.