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 GUI toolset for fingerprint identification and authentication.
A C library that resolves names asynchronously.