libelas0
Library for Efficient Large-scale Stereo Matching
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.
libcolamd3
column approximate minimum degree ordering library for sparse matrices
Suitesparse is a collection of libraries for computations involving
sparse matrices.
rosidl-core
ROS 2 IDL support core metapackage
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.
lib0install-solver-ocaml
package dependency solver (runtime)
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).
scep
SCEP server and client written in go
scep implements Simple Certificate Enrollment Protocol server and client.
This package provides its binaries scepserver and scepclient.
libmrpt-maps2.11
Mobile Robot Programming Toolkit - maps 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).