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.
An extension which allows store owners to split payments and transfer parallel payments.
An enterprise-grade network management platform.