1012 projects tagged "education"

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 70.33
Vit 3.16

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

Download Website Updated 17 Sep 2001 jbofihe

Screenshot
Pop 37.89
Vit 3.22

jbofihe (or more correctly jbofi'e) is a parser for checking the grammatical correctness of Lojban text. It also provides approximate translations of Lojban into English. (Lojban is a constructed human language with the interesting property that its grammar can be cast into a form that Bison can parse.) The package includes cmafi'e (a smaller version without grammar checking), and a program to aid lujvo (compound word) construction.

Download Website Updated 22 Sep 2006 JChemPaint

Screenshot
Pop 162.63
Vit 9.06

JChemPaint is a program for drawing 2D chemical structures like those found in most chemistry textbooks.

Download Website Updated 30 Jan 2001 JDAY

Screenshot
Pop 37.87
Vit 1.00

JDAY is a conversion tool between calendar dates and astronomical Julian dates.

Download Website Updated 26 Oct 2000 JLearner

Screenshot
Pop 16.49
Vit 70.58

JLearner is a Java-based Japanese character and vocabulary learning tool. It is mainly in German, and comes with vocabulary packages for the ikkyuu level 1 (highest "Japanese as a foreign language test"). It was written for university students who have be firm with all 2000 jouyou Kanji.

Download Website Updated 01 Oct 2006 Jmol

Screenshot
Pop 184.39
Vit 8.15

Jmol is a Free, Open Source molecule viewer and editor. It is a collaboratively developed visualization and measurement tool for chemical scientists. Jmol is an active project, and there are new features being added to it on a daily basis. Users are encouraged to modify it to fit their needs and to contribute their changes to the project.

Download Website Updated 31 Aug 2009 JRainWords

Screenshot
Pop 34.81
Vit 2.03

JRainWords is a small Java program useful in teaching children how to use a computer keyboard.

Download Website Updated 18 Apr 2014 KDE Software Compilation

Screenshot
Pop 2,926.05
Vit 105.62

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.

No download Website Updated 30 Jan 2001 KHangMan

Screenshot
Pop 13.78
Vit 1.00

KHangMan is the well-known Hangman game adapted for children aged 6+. Find the word by guessing one letter after another. It features 4 levels with 44 words in each level.

Download Website Updated 17 Feb 2010 KMol

Screenshot
Pop 32.82
Vit 3.76

KMol calculates the elemental compositon and molecular weight of compounds from their chemical formula. KMol supports user defined groups and elements, unlimited nesting of subgroups, multicomponent compounds, global and per-user symbol definitions.

Screenshot

Project Spotlight

EUGene

An efficient universal generator.

Screenshot

Project Spotlight

Mnemo

The Horde notes/memos application.