JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.
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.
A Python parallel code library.
A GNU/Linux rescue CD that comes with Rescapp, a nice wizard that will guide you through your rescue tasks.