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".
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.
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.
QMentat helps you practice mental arithmetic. It uses arbitrary-length fixed point arithmetic, and can handle any size numbers, only limited by the size of your screen (and in the case of division with an integer result, the speed at which the number can be factored). It is also quite configurable, allowing you to tailor the questions to your needs.
DotNetWikiBot Framework is a full-featured client API with a console interface that allows you to build programs and Web robots easily to manage information on MediaWiki-powered sites. DotNetWikiBot Framework is intended to help with many complicated and routine tasks of wiki site development and maintenance. Any .NET language can be used to access DotNetWikiBot library functions. Only minimal programming skills are required to make bots with DotNetWikiBot Framework.