OtterFace-8 is a simple graphical user interface for Otter and Mace2. (an automated deduction system which is designed to prove theorems stated in first-order logic with equality). It doesn't help you prepare input to Otter/Mace2. You still have to know the input language and prepare input files with your favorite plain text editor.
Turn your favorite photos into greeting cards and personalize many templates with a click of the mouse.
WhatsDesktop is an open source WhatsApp client for Mac OS.
Virtual Office Desktop is a comprehensive Unified Communications client app.
Chat program that allows you to connect to different networks like MSN, Gtalk, Facebook chat, Jabber and others.
Quick Tab for Vine is a fast way to access Vine on your Mac.
Access Facebook chats without accessing the platform.
Biba provides a rich visual interface for conference calls.
Comments