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).
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.
libuuid1
Universally Unique ID library
The libuuid library generates and parses 128-bit Universally Unique
IDs (UUIDs). A UUID is an identifier that is unique within the space
of all such identifiers across both space and time. It can be used for
multiple purposes, from tagging objects with an extremely short lifetime
to reliably identifying very persistent objects across a network.
vim-youcompleteme
fast, as-you-type, fuzzy-search code completion engine for Vim
YouCompleteMe is a fast, as-you-type, fuzzy-search code completion engine
for Vim. It has several completion engines: an identifier-based engine
that works with every programming language, a semantic, Clang-based
engine that provides native semantic code completion for
C/C++/Objective-C/Objective-C++ and an omnifunc-based completer that uses data
from Vim's omnicomplete system to provide semantic completions for many
other languages (Ruby, PHP etc.).
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.
python3-certstream
Client library for talking to certstream servers
Certstream-python is a library for interacting with the certstream
network -- https://certstream.calidog.io/ -- to monitor an aggregated
feed from a collection of Certificate Transparency Lists:
https://www.certificate-transparency.org/known-logs