RSS 2 projects tagged "Logic"

No download No website Updated 18 Dec 2012 Verish

Screenshot
Pop 16.06
Vit 22.07

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.

Download No website Updated 24 Jan 2011 Smart Challenge

Screenshot
Pop 16.28
Vit 34.34

Smart Challenge is a computer game to exercise logical thought by solving millions of randomly generated tangram puzzles. It allows you to create and store new puzzles and display the ranking of solution times for each puzzle. Additionally, it has levels of difficulty for the random generated tangram puzzles.

Screenshot

Project Spotlight

Seed7

An extendable programming language.

Screenshot

Project Spotlight

XStow

A replacement of GNU Stow written in C++.