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.