Spanish Word Searches allows you to generate and play randomly-generated word searches based on 1,200 items of basic Spanish vocabulary split into topics. You can select to play the word searches on vocabulary from any combination of themes and specify the size of the grid, number of words, and difficulty parameters. The program also contains a link to the iPad version of the word search application.
Auto Multiple Choice (AMC) is a piece of software that helps you to create and manage multiple choice questionnaires, with automated marking. Tests can be written in plain text or LaTeX. Automated correction and grading is performed from scans of the answer sheets using optical mark recognition.
linSmith is a Smith charting program. Users can enter either discrete components or transmission lines, see the results on screen, and/or generate Postscript output. Component values can be changed numerically or using scrollbars. Problems can be solved on-screen, and high-quality Postscript can be output for publication.
Genius is an arbitrary precision integer and multiple precision floating point calculator. It includes its own programming language similar in some aspects to C, bc, or Pascal. It can deal with rational numbers and complex numbers. It has matrix support as well. It uses the gmp library so it is very fast for calculations of large numbers. It has a command line and a GNOME interface. The GNOME interface supports plotting functions and 3D surfaces.
JGloss is an application for adding reading and translation annotations to words in a Japanese text document. This can be done automatically and manually. When a text document is first opened, kanji words will be looked up in a dictionary and the first reading and translation (if any) used to annotate the word. The user can then edit the annotations: choose among the readings and translations found in the dictionaries, enter your own readings and translations, remove annotations, and add new annotations. The document can be exported as plain text with annotations, HTML, or LaTeX.
Plone is a content management system that is simple to set up, maintain, and modify. It is designed to be a corporate-ready content management system. It is ideal as an intranet and extranet server, as a document/Web publishing system, and as a groupware tool for collaboration between separately located entities. It aims to be a proper content management and publishing system, sharing the same qualities as Teamsite, Livelink, and Documentum.
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".