Logic 2010 is a system for computer and Internet-assisted classroom instruction in first order logic. The program contains modules for doing derivations, symbolizations, truth tables, invalidity by finite models, and parsing. Students may create their own User Problems, and in the derivation module, students can create and justify their own rules.
FreeOrion is a turn-based space empire and galactic conquest (4X) computer game.
Battle Fleet combines tactical fleet strategy with an artillery style gameplay.
In a time long past, the armies of the dark came again into the lands of men.
App that lets you post folders of files to newsgroups using Thoth or MT-Newswatcher.
A strategy game set during World War II.
Punch Club is a boxing tycoon management game for Mac OS.
Comments