OpenFootie is a text-based soccer match generation engine. It reproduces the match with statistics and reports. It is meant to be used as a library by integrating with host applications.
A collection of mathematical knowledge in a formal, correct form.
A search engine with a Web, file, and database crawler.