1012 projects tagged "education"

No download Website Updated 24 Nov 2002 MathWar

Screenshot
Pop 47.62
Vit 2.87

MathWar is a flashcard math game in which the child plays against the computer to solve simple addition, subtraction, and multiplication problems before the computer player answers. MathWar is aimed at kids who are just learning their math facts, and can easily be tailored to fit different skill levels.

Download Website Updated 19 Oct 2004 Maxima

Screenshot
Pop 95.20
Vit 1.73

Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra. It features plotting over the network via netmath, computations over the network, extensive testing on a large array of problems, a source level debugger for maxima code, ease of extension in fundamentally new ways, access to Common Lisp and portability to many systems.

Download Website Updated 30 Sep 2001 mico/E

Screenshot
Pop 31.70
Vit 1.47

mico/E is a complete CORBA implementation in Eiffel that can be used in courses and software labs. The intention of the mico/E project is to provide a freely available and fully compliant implementation of the CORBA 2.4 standard.

No download Website Updated 23 Feb 2000 Mueller English-Russian Dictionary Kit

Screenshot
Pop 28.51
Vit 72.30

This is the first respectable English-Russian Dictionary with transcription (IPA) under GNU GPL. The dictionary has 46233 word articles and is 5.5MB. "MOVA" is a set of Bash and Tcl/TK scripts for dictionary management under UNIX.

Download No website Updated 30 Dec 1999 multpsx

Screenshot
Pop 10.58
Vit 72.68

multpsx generates long multiplication worksheets in PostScript. It also generates a self-checking answer key.

No download Website Updated 30 Dec 1999 MuPAD

Screenshot
Pop 20.25
Vit 72.68

MuPAD is a general purpose computer algebra system for symbolic and numerical computations. Users can view the library code, implement their own routines and data types easily and can also dynamically link C/C++ compiled modules for raw speed and flexibility.

Download Website Updated 30 Dec 1999 NetMath

Screenshot
Pop 13.93
Vit 72.68

NetMath is a web browser which knows something about math. It has built-in plotting engines and the ability to communicate with computation servers. This makes it possible to do local graphics, zooming and panning, while taking advantage of sophisticated computational programs. Documents contain active and editable items, and the results of computations appear in the document.

Download Website Updated 04 Jun 2009 Nightfall

Screenshot
Pop 100.35
Vit 9.06

Astronomy for fun (education, science, whatever). Nightfall is an interactive application to simulate eclipsing binary stars, and to produce animated views, synthetic lightcurves and more. Takes into account the non-spherical shape of close binary stars, mutual reflection, and some other effects. Comes with documentation, on-line help, and lots of observational data of real binary stars. Supports the Gnome desktop, but doesn't require it.

Download Website Updated 21 Oct 2010 nolan

Screenshot
Pop 52.73
Vit 3.44

Nolan is the world's smallest political quiz. It asks you a series of questions and afterward charts your political position on a pretty little graph.

Download Website Updated 07 Apr 2005 OBJ3

Screenshot
Pop 40.25
Vit 2.46

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.

Screenshot

Project Spotlight

EUGene

An efficient universal generator.

Screenshot

Project Spotlight

Mnemo

The Horde notes/memos application.