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 massive parallel-processing computing platform that solves big data problems.
A recommendation engine built inside PostgreSQL.