Biblio10k is a library management system that provides listings, searching, and borrowing functions. It was designed for relatively small libraries with around 10000 books.
An Eclipse plugin for distributed collaborative programming.
IPMI libraries and tools.