Foswiki is wiki software, supporting the editing of Web pages in an ordinary Web browser by end users. What makes Foswiki special is that it supports the embedding of active and passive macros that enhance the page content (e.g. with global or dynamic information) and allow end-users to build applications that store and process data in a structured manner.
Asymptote is a powerful descriptive 2D and 3D vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. It provides for figures the same high-quality level of typesetting that LaTeX does for scientific text. Asymptote is a programming language as opposed to just a graphics program. It can exploit the best features of script (command-driven) and graphical user interface (GUI) methods. High-level graphics commands are implemented in the language itself, allowing them to be easily tailored to specific applications.
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".
OpenCards is flashcard learning software. The basic idea of OpenCards is to use PowerPoint presentations (*.ppt) as flashcard sets. Slide titles are considered questions and the slide contents their answers. Based on state-of-the-art memorization and scheduling algorithms, OpenCards will help you learn any set of flashcards.
prerex is an interactive (command-line) editor and a LaTeX macro support package that can be used to create very attractive and readable prerequisite charts. A graphical front-end for the editor also provides a prerex-enabled PDF viewer. A prerequisite chart is a network of course boxes linked by prerequisite and co-requisite arrows.
Emdros is a corpus query system for storing and searching linguistically annotated text. It is very generic, supporting almost any kind of annotation from almost any linguistic theory. All linguistic levels of analysis are supported, including phonology, morphology, the lexical level, syntax, and discourse. The core libraries act as a middleware layer between a client and an underlying SQL database. MySQL, PostgreSQL, and SQLite are supported.
LingNUX is a dictionary for French students of the Russian language. Both languages can be easily entered without affecting the AZERTY French keyboard settings at the system level. It reads dictionary files with the DSL extension, which is one of the formats used by the famous Russian dictionary "ABBYY Lingvo" under Windows.