Molle is a cross-platform prover for modal logic. It exploits the modal semantic tableaux method. It features a very usable graphical interface, with an interactive representation of generated models.
JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.
A highly configurable graphical file manager for X.
Software to manipulate, monitor, and manage messages in a queue of a WebSphere MQ (formally MQSeries) queue manager from a command-line or shell scripting environment.