RSS 2 projects tagged "Logic"

No download No website Updated 06 Feb 2011 BoxWorld

Screenshot
Pop 16.09
Vit 34.25

BoxWorld is a puzzle game where the player has to place boxes over special places in order to gain energy to teleport to the next level. The boxes can only be pushed, not pulled, thus requiring ordering of the boxes with caution. If the boxes are put into positions that prevent further movement, the player can start the level over, but loses a life by doing so. There are no time limits, so the player can relax and think before acting. The game features nice graphics, enjoyable music, and 525 increasingly difficult levels. The player must come up with more complex strategies on the later levels, with many more pushes and special tricks in order to place the boxes in corners or long corridors. Sometimes most of the boxes are already placed in the appropriate area, but the player has to replace all the boxes just to be able to move another box and arrange it where it belongs.

No download No website Updated 18 Dec 2012 Verish

Screenshot
Pop 16.09
Vit 22.20

Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.

Screenshot

Project Spotlight

TurnKey MySQL Appliance

An Ubuntu-based MySQL appliance that is easy to use and lightweight (152 MB).

Screenshot

Project Spotlight

PC-BASIC

A GW-BASIC-compatible interpreter.