aldo
Morse code training program
Aldo is a morse code learning tool which provides four type
of training methods: blocks, koch, file, callsign.
Blocks: Identify blocks of random characters played in morse code.
Koch: Two morse characters will be played at full speed (20wpm)
until you'll be able to identify at least 90 percent of them.
After that, one more character will be added, and so on.
File: Identify played characters generated from a file.
Callsign: Identify random callsigns played in morse code.
mpgtx
toolbox to manipulate MPEG files (video, system, and audio)
mpgtx is a tool to manipulate MPEG files. Its features include the
following:
ale
synthetic capture engine and renderer
ALE aligns and merges several similar images from a digitizing device
(such as a digital camera or scanner) into a single image. This operation
can create a higher fidelity image by using details from several separate
images combined into the final image. It can also be used to merge the
images into a mosaic or panoramic image.
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.