RSS 148 projects tagged "Mac OS X"

Download No website Updated 27 Sep 2013 Dr Geo

Screenshot
Pop 199.15
Vit 20.29

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.

Download Website Updated 26 Jun 2013 Genius

Screenshot
Pop 239.61
Vit 30.74

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.

Download Website Updated 21 Feb 2012 GRASS GIS

Screenshot
Pop 344.79
Vit 15.00

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.

Download Website Updated 17 Sep 2012 Groups, Algorithms, and Programming

Screenshot
Pop 70.82
Vit 5.98

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.

Download Website Updated 19 Sep 2012 Hanzim

Screenshot
Pop 68.92
Vit 11.04

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.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 71.41
Vit 3.17

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 01 Oct 2006 Jmol

Screenshot
Pop 201.40
Vit 8.20

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 02 Apr 2014 KDE Software Compilation

Screenshot
Pop 3,021.37
Vit 217.58

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.

Download Website Updated 26 May 2008 QBrew

Screenshot
Pop 264.42
Vit 5.66

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.

Download Website Updated 27 Feb 2007 Squeak

Screenshot
Pop 127.16
Vit 3.91

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.

Screenshot

Project Spotlight

Burp

A program that backs up and restores data.

Screenshot

Project Spotlight

Catharsis.NET.Repository

A .NET library that provides an abstraction over persistent data stores.