Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
Easiest way to safely communicate online, through secure messaging and auto-encryption.
Back up files and folders on USB flash drives.
Home security app that lets you watch live video of your home from anywhere.
Quickly Remove Password from PDF and Gain Access to Your Important Data.
CammyCam allows you to turn your webcam into security camera.
Network monitoring and management solution for businesses and schools.
Comments