libjs-chosen

select box enhancer for jQuery and Prototype

Chosen is a JavaScript plugin that makes long, unwieldy select boxes more user-friendly.

python-flask-ldapconn

LDAP connection and ORM for Flask Applications (Python 2)

dleyna-server

DBus service to interact with DLNA Digital Media Servers

dleyna-server is a DBus user session service that allows clients to discover and manipulate DLNA Digital Media servers (DMS).

libghc-dependent-map-prof

dependent finite maps; profiling libraries

This package provides a basic dependent sum type. The first component is a tag that specifies the type of the second.

libmrpt-gui2.14

Mobile Robot Programming Toolkit - gui 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).

python3-windowmocker

create windows and applications from specifications