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 program that backs up and restores data.
A document management system.