Java class file shrinker, optimizer, and obfuscator

proguard

Java class file shrinker, optimizer, and obfuscator

ProGuard is a free Java class file shrinker, optimizer, and obfuscator. It can detect and remove unused classes, fields, methods, and attributes. It can then optimize bytecode and remove unused instructions. Finally, it can rename the remaining classes, fields, and methods using short meaningless names. The resulting jars are smaller and harder to reverse-engineer.

supybot

robust and user friendly Python IRC bot

Supybot is a robust (it doesn't crash), user friendly (it's easy to configure) and programmer friendly (plugins are *extremely* easy to write) Python IRC bot. It aims to be an adequate replacement for most existing IRC bots. It includes a very flexible and powerful ACL system for controlling access to commands, as well as more than 50 builtin plugins providing around 400 actual commands.

prover9-mace4

GUI for Prover9 and Mace4

This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.

libhdf5-openmpi-hl-cpp-100t64

HDF5 High Level C++ runtime files - OpenMPI version - unsupported

Hierarchical Data Format 5 (HDF5) is a file format and library for storing scientific data. HDF5 was designed and implemented to address the deficiencies of HDF4.x. It has a more powerful and flexible data model, supports files larger than 2 GB, and supports parallel I/O.
Alex the Allegator 4 - a retro platform game

alex4

Alex the Allegator 4 - a retro platform game

Guide Alex the Allegator through the jungle in order to save his girlfriend Lola from evil humans who want to make a pair of shoes out of her. Plenty of classic platforming in four nice colors guaranteed!
create device mappings for partitions

kpartx

create device mappings for partitions

Kpartx can be used to set up device mappings for the partitions of any partitioned block device.