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