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.
The Gray Garden is a pseudo-RPG with a heavy story focus.
SkyChart III is a planetarium and telescope control program that shows the sky from any location, past or future, on Earth or beyond.
Turn-based RPG with classic JRPG style, deep dungeon diving, unique mana system, and intense Battle Bursts.
AdVenture Capitalist is a complex capitalism simulator.
A role-playing video game based on dungeon crawling.
Helicopter Sim - Hellfire Squadron is a helicopter simulator game for Mac.
Comments