Jape is a configurable graphical formal-proof calculator that enables users to define logics, view proofs, and more. It supports sequent calculus, natural deduction, functional programming, and operational semantics.
Turn your favorite photos into greeting cards and personalize many templates with a click of the mouse.
SkyChart III is a planetarium and telescope control program that shows the sky from any location, past or future, on Earth or beyond.
A role-playing video game based on dungeon crawling.
AdVenture Capitalist is a complex capitalism simulator.
Turn-based RPG with classic JRPG style, deep dungeon diving, unique mana system, and intense Battle Bursts.
Helicopter Sim - Hellfire Squadron is a helicopter simulator game for Mac.
The Gray Garden is a pseudo-RPG with a heavy story focus.
Comments