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.
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!
kpartx
create device mappings for partitions
Kpartx can be used to set up device mappings for the partitions of any
partitioned block device.