Omnidic is a dictionary/translator for mobile phones.It works on mobile phones compatible with Java (MIDP 1.0 and MIDP 2.0). The program can contain several dictionaries at the same time. It is not necessary to connect to the Internet during use; the dictionaries are saved on the mobile device.
The Middle Click Closes Tab Eclipse Plugin makes it possible to close tabs in Eclipse with a middle mouse button click. This is much faster than using the tab close button because of the much bigger target area. This trick especially helps when closing multiple tabs, since during such an operation the remaining tabs get resized, and, as result, those little close buttons move around a lot.
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.