867 projects tagged "education"
Updated 24 May 2013
GAMGI
| Pop | 326.71 |
|---|---|
| Vit | 952.99 |
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.
Updated 24 May 2013
Hilbert II
| Pop | 321.25 |
|---|---|
| Vit | 540.96 |
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".
Updated 22 May 2013
JGloss
| Pop | 121.24 |
|---|---|
| Vit | 166.40 |
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.
Updated 21 May 2013
typer
| Pop | 151.53 |
|---|---|
| Vit | 46.40 |
typer is a graphical tutor for learning and training keyboard typing. It features keyboard layouts, lessons, text file support, fortune support, and statistics.
Updated 13 May 2013
TOMUSS
| Pop | 317.45 |
|---|---|
| Vit | 58.48 |
TOMUSS allows multiple users to edit the same spreadsheet table with their Web browsers. It stores the complete history of the table modification. TOMUSS is intended to be used by teachers to enter ranking and to allow students to see their ranks.
Updated 08 May 2013
VMIPS
| Pop | 172.88 |
|---|---|
| Vit | 68.00 |
vmips is a virtual machine simulator based around a MIPS R3000 RISC CPU core. It is an open-source project written in GNU C++.
Updated 01 May 2013
Java Algebra System
| Pop | 329.95 |
|---|---|
| Vit | 55.33 |
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.
Updated 30 Apr 2013
QMentat
| Pop | 82.50 |
|---|---|
| Vit | 1.60 |
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.
Updated 23 Apr 2013
Tk-Yupana
| Pop | 96.97 |
|---|---|
| Vit | 7.38 |
Tk-Yupana emulates the Yupana, an ancient calculating device of the Incas.
Updated 23 Apr 2013
DotNetWikiBot Framework
| Pop | 128.09 |
|---|---|
| Vit | 33.02 |
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.
