RSS 109 projects tagged "Mac OS X"

Download No website Updated 27 Sep 2013 Dr Geo

Screenshot
Pop 199.11
Vit 19.96

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 241.41
Vit 30.40

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 342.58
Vit 14.94

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 69.24
Vit 5.95

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 69.14
Vit 10.98

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 69.36
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 197.39
Vit 8.19

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 27 Feb 2007 Squeak

Screenshot
Pop 123.39
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.

Download Website Updated 18 Oct 2006 WIMS

Screenshot
Pop 108.89
Vit 8.51

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.

No download Website Updated 20 Jul 2009 XaoS

Screenshot
Pop 165.65
Vit 2.93

XaoS is a fast, portable, real-time, and interactive fractal zoomer. It displays the Mandelbrot set (among other escape time fractals) and allows you zoom smoothly into the fractal. Various coloring modes are provided for both the points inside and outside the selected set. In addition, switching between Julia and Mandelbrot fractal types and on-the-fly plane switching is provided.

Screenshot

Project Spotlight

NetStats Baseball

A simulation of major league baseball.

Screenshot

Project Spotlight

P6Spy

Intercepts and logs database statements of applications using JDBC