RSS 46 projects tagged "Mac OS X"

Download Website Updated 11 Apr 2011 ACL2

Pop 74.51
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

No download Website Updated 24 Feb 2007 APBS

Pop 23.87
Vit 51.10

APBS is a software package for the numerical solution of the Poisson-Boltzmann equation (PBE), one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum electrostatics plays an important role in several areas of biomolecular simulation, including simulation of diffusional processes to determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation and binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants and aid in rational drug design, and biomolecular titration studies.

Download Website Updated 30 Sep 2007 ASCIIMathML

Pop 80.73
Vit 2.76

ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.

Download Website Updated 10 Nov 2013 ATLAS

Pop 312.20
Vit 41.97

The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. It provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.

No download Website Updated 20 Aug 2008 CONSIDEO MODELER

Pop 84.40
Vit 1.70

CONSIDEO MODELER allows you to mindmap a complex problem, analyse it qualitatively to discover levers and bottlenecks, and even to simulate it by automatically building a system dynamics model. One can integrate any external data and setup a customized management cockpit for playing out scenarios. It is useful for organizational problems, project management, financial analysis, production processes, score cards, and much more.

No download Website Updated 02 Nov 2004 Cactus

Pop 152.64
Vit 3.46

Cactus is a general, modular, parallel environment for solving systems of partial differential equations. The code has been developed over many years by a large international collaboration of numerical relativity and computational science research groups and can be used to provide a portable platform for solving any system of partial differential equations.

Download Website Updated 19 Aug 2007 Calcoo

Pop 95.32
Vit 6.28

Calcoo is a scientific calculator designed to provide maximum usability. Its features bitmapped button labels and display digits to improve readability, no double-function buttons, undo/redo buttons, copy/paste interaction with the clipboard, both RPN and algebraic modes, two memory registers with displays, displays for Y, Z, and T registers, and tick marks to separate thousands. Calcoo is written in C using the GTK+ widget library (v.2.2+).

Download Website Updated 11 Aug 2009 Coq

Pop 39.23
Vit 3.59

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Download Website Updated 12 Jan 2006 Cracks of Reality

Pop 19.21
Vit 1.91

Cracks of Reality is a fractal image rendering application. Its focus is on high quality rendering of images to be used as desktop background pictures. It is not designed for exploring fractal sets, but instead allows you to import parameters from other fractal programs.

Download Website Updated 25 Nov 2003 DigitizeIt

Pop 69.20
Vit 2.90

DigitizeIt digitizes scanned graphs and charts. Graphs can be loaded in nearly all common image formats (including gif, tiff, jpeg, bmp, png, psd, pcx, xbm, xpm, tga, pct), pasted from the clipboard, or imported via a screenshot. Digitizing of line and scatter plots occurs automatically, and manual digitizing via mouse clicks is also possible. Data values are transformed to a specified axes system and can be saved in ASCII format, ready to use in many other applications such as Microcal Origin or Excel. Axes can be linear, logarithmic, or reciprocal scale. Multiple data sets can be defined and edited. Tilted and distorted graphs can be handled. Comprehensive online help is included. Java 1.4 is required.


Project Spotlight


A style and grammar checker for English, Polish, German, and other languages


Project Spotlight


A tool that finds "orphaned" RPM packages.