Advertnet is tool for managing multiple networks of advertising boards, ready to work with Second Life. In Advertnet's model, the boards are attached to urban furnitures and can belong to different networks, thus forming ad campaigns. Differents types of objects can be attached to boards and networks: notecards, URLs, etc. Advertnet is composed of a Ruby on Rails application that can communicate with ad boards created in Second Life.
pidgin-osd is an application that uses the xosd library to print various events on the X root window on receiving incoming messages from pidgin. It is based on gaimnosd 0.7 (the last publically available version). It is mostly like the gaimnosd plugin; the only difference is that an implementation for UTF-8 conversion to the current used locale was added.
Fotoxx navigates an image collection using a thumbnail browser to choose images to view or edit. Edit functions include brightness, contrast, color, gamma, white balance, tone mapping, red eyes, sharpen, blur, noise suppression, smart erase, trim (crop), resize, rotate, add text, bend/warp, many art effects, HDR, HDF, stack, and panorama. Edit functions use movable curves and sliders. Feedback is live using the whole image. RAW files can be edited and saved with deep color. Areas or objects can be selected using freehand draw, follow edge, and tone matching. Selections can be edited in place with adjustable blending. They can also be cut and pasted into other images. Any metadata can be edited, reported, and searched (filenames, tags, dates, geotags, comments, captions, ratings, etc.). Collections (arbitrary subsets) can be defined and viewed. Batch functions are available for rename, resize/export, RAW conversion, and more.
Logic Reasoner is a theorem prover for first-order logic with equality. The main objective leading the development of Logic Reasoner has been the creation of a flexible architecture: in particular, the program has been designed as a generic infrastructure for theorem proving, which forms the basis for a collection of specific proving techniques. These techniques can be easily combined or replaced to create configurations with different properties.
Gringotts is a small utility that allows you to jot down sensitive data (passwords, PINs, small files, etc.) in an easy-to-read, easy-to-access, and most of all very secure form. It lets the user choose from among eight strong encryption algorithms (RIJNDAEL-128, RIJNDAEL-256, SERPENT, TWOFISH, CAST-256, SAFER+, LOKI97, 3DES), two hashing algorithms (SHA1, RIPEMD 160), and two compression techniques (ZLib and BZip2) with four compression ratios. It allows the user to use any file or an entire floppy disk as a password, as an alternative to the usual text string.