122 projects tagged "Mac OS X"
Updated 04 Apr 2013
Dr Geo
| Pop | 174.11 |
|---|---|
| Vit | 38.08 |
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.
Updated 18 Dec 2012
Genius
| Pop | 229.78 |
|---|---|
| Vit | 41.05 |
Genius is an arbitrary precision integer and multiple precision floating point calculator. It includes its own programming language similar in some aspects to C, bc, or Pascal. It can deal with rational numbers and complex numbers. It has matrix support as well. It uses the gmp library so it is very fast for calculations of large numbers. It has a command line and a GNOME interface. The GNOME interface supports plotting functions and 3D surfaces.
Updated 21 Feb 2012
GRASS GIS
| Pop | 334.51 |
|---|---|
| Vit | 19.16 |
GRASS (the Geographic Resources Analysis Support System) is a software raster- and vector-based GIS (Geographic Information System), image processing system, graphics production system, and spatial modeling system. It contains many modules for raster data manipulation, vector data manipulation, rendering images on the monitor or paper, multispectral image geocoding and processing, point data management and general data management. It also has tools for interfacing with digitizers, scanners, and the PostgreSQL, DBF, and ODBC connected databases. GRASS operates on all common operating systems.
Updated 17 Sep 2012
Groups, Algorithms, and Programming
| Pop | 91.83 |
|---|---|
| Vit | 8.87 |
Groups, Algorithms, and Programming (GAP) is a system for computational discrete algebra with particular emphasis on computational group theory and related areas. It provides a Pascal-like interpreted language, data types for many algebraic objects, a function library, and large libraries of data.
Updated 19 Sep 2012
Hanzim
| Pop | 88.37 |
|---|---|
| Vit | 16.44 |
Hanzim ("Hanzi Master") is an interactive visual dictionary for learning and seeing relationships between Chinese radicals, characters, and compounds. All the characters with a given radical, phonetic component, or pronunciation can be displayed, and all words containing a character, with English meanings. All data is stored locally. Either simplified or traditional characters can be used.
Updated 21 Mar 2006
Isabelle
| Pop | 78.34 |
|---|---|
| Vit | 3.25 |
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).
Updated 09 May 2013
KDE Software Compilation
| Pop | 2,062.88 |
|---|---|
| Vit | 244.52 |
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.
Updated 26 May 2008
QBrew
| Pop | 278.48 |
|---|---|
| Vit | 5.95 |
QBrew is a homebrewer's recipe calculator. You can create and modify ale and lager recipes as well as calculate gravity, color, and bitterness. QBrew includes a database of styles, grains, hops, and miscellaneous ingredients, plus a brewing tutorial.
Updated 27 Feb 2007
Squeak
| Pop | 148.85 |
|---|---|
| Vit | 4.06 |
Squeak is an OpenSource and super-portable implementation of a multi-media capable Smalltalk-80 based object-oriented programming environment. It is written entirely in Smalltalk and has a high-performance VM, created by compiling the Smalltalk VM code into efficient and portable C code. It now uses the Self language's Morphic User Interface but still provides the original MVC GUI as well.
Updated 18 Oct 2006
WIMS
| Pop | 119.47 |
|---|---|
| Vit | 8.78 |
WIMS (WWW Interactive Mathematics Server) is a CGI Web application designed to host interactive mathematical educational activities such as exercises, computational math, and graphing tools. It features automatic score processing with strong anti-cheating mechanisms, virtual classes allowing teachers to guide/control student works, online exercise creation, animated graphics, a message board allowing inline mathematical formulas, and more. It can also be easily used for education within other disciplines.
