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.
Dr. Geo is an interactive geometry program that is distributed as a universal portable application. It allows one to create a geometric sketch and manipulate it according to its constraints. It is usable at home or at school, in primary or secondary education. It is simple and effective with extended features including scripting and programming.
For users on Linux and Unix, KDE offers a full suite of user workspace applications which allow interaction with these operating systems in a modern, graphical user interface. This includes Plasma Desktop, KDE's innovative and powerful desktop interface. Other workspace applications are included to aid with system configuration, running programs, or interacting with hardware devices. While the fully integrated KDE Workspaces are only available on Linux and Unix, some of these features are available on other platforms. In addition to the workspace, KDE produces a number of key applications such as the Konqueror Web browser, Dolphin file manager, and Kontact, the comprehensive personal information management suite. The list of applications includes many others, including those for education, multimedia, office productivity, networking, games, and much more. Most applications are available on all platforms supported by the KDE Development. KDE also brings to the forefront many innovations for application developers. An entire infrastructure has been designed and implemented to help programmers create robust and comprehensive applications in the most efficient manner, eliminating the complexity and tediousness of creating highly functional applications.
Piggydb is a flexible and scalable knowledge building platform that supports a heuristic or bottom-up approach to discover new concepts or ideas based on your input. You can begin with using it as a flexible outliner, diary or notebook, and as your database grows, Piggydb helps you to shape or elaborate your own knowledge. Piggydb is a Web application provided as a self-contained package that contains a Web server and database engine.
The Java Algebra System (JAS) is an object oriented, type safe, multi-threaded approach to computer algebra. JAS provides a well designed software library using generic types for algebraic computations implemented in the Java programming language. The library can be used as any other Java software package, or it can be used interactively or interpreted through a Jython or JRuby front end. The focus at the moment is on commutative and solvable polynomials, power-series, multivariate polynomial factorization, Gröbner bases, and applications.
GSL shell offers an interactive user interface that gives access to the GSL collection of mathematical functions. It is based on the powerful and elegant scripting language Lua. GSL shell is not just a wrapper over the C API of GSL, but offers a much more simple and expressive way to use GSL. The objective is to give the user the power to easily access GSL functions without having to write a complete C application. It also has a powerful module to produce plots or almost any kind of graphics based on data or functions.
GAMGI (General Atomistic Modelling Graphic Interface) is a program to build, view, and analyze atomic strucures such as molecules, crystals, glasses, liquids, etc. It aims to be useful for: the scientific community working in Atomistic Modelling that needs a graphic interface to build input data and to view and analyse output data, calculated with Ab-Initio and Molecular Mechanics programs; the scientific community at large studying chemistry, physics, materials science, geology, etc., that needs a graphic interface to view and analyse atomic structural information and to prepare images for presentations in classes and seminars; teaching chemistry and physics in secondary schools and universities; science promotion in schools, exhibitions and science museums.
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".