plattenalbum

Client for the Music Player Daemon (MPD)

Browse your collection while viewing large album covers. Play your music without managing playlists.

libinterfacebuilder1

Clone of the InterfaceBuilder framework - runtime library

Gorm, the GNUstep Object Relationship Modeler, is a tool to build GUI interfaces for the GNUstep system. It is a clone of the NeXTStep "Interface Builder" app.

liblasso3t64

Library for Liberty Alliance and SAML protocols - runtime library

Lasso is an implementation of Liberty Alliance and related protocols, for network identity federations, single sign-on and other web services protocols. The main specifications implemented by the library are ID-FF, ID-WSF and SAML.

libcoq-hammer

automated reasoning tool for Coq

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

libpcl-filters1.13

Point Cloud Library - filters library

The Point Cloud Library (PCL) is a standalone, large scale, open project for 2D/3D image and point cloud processing.

libpcl-kdtree1.13

Point Cloud Library - kdtree library

The Point Cloud Library (PCL) is a standalone, large scale, open project for 2D/3D image and point cloud processing.