Open Source Mac Mathematics Software

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

Development platform and toolboxes for parameter continuation, e.g., bifurcation analysis of dynamical systems and constrained design optimization. This material is based upon work partially supported by the National Science Foundation under Grant No. 1016467 and the Danish research council (FTP) under the project number 0602-00753B. Any opinions, findings, and conclusions or recommendations expressed on this site are those of the authors and do not necessarily reflect the views of the National Science Foundation or other funding sources. Documentation and tutorials are available for the following toolboxes: * ep : continuation and bifurcations of equilibrium points * coll : continuation of constrained collections of trajectory segments, including multi-segment boundary-value problems * po : continuation and bifurcations of periodic orbits in smooth and hybrid systems * recipes : collection of examples from the book Recipes for Continuation

Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.

Matlab Toolbox to process video files, which consists on a set of classes for reading, writing, correcting light changes and generating gaussian pyramids in real time. This toolbox is designed for Windows x64, Max OS X x64 and Linux x64. Through to use of Ffmpeg, it can reproduce and create videos very fast and also do no require to load the entire video file in memory. In addition the C++ code is already compiled in order to simplify the toolbox installation. In order to stay tuned for updates, you can follow the Matlab VideoUtils on Twitter (@VideoUtils): https://twitter.com/#!/VideoUtils If anyone is interested in collaborate, please contact to me -> https://sourceforge.net/sendmessage.php?touser=3811831

:: Pythia :: This is a high quality fast "true random" number generator / shuffling system. This means that Pythia never ever repeats the same numbers again regardless of how many tests you do. This also means that it never generates any numbers in a predictable order no matter how many times you refresh. Pythia solves a great problem and is by far the best solution out there. How to use: var my_pythia = new pythia(); Pythia API: .generate - Generate a new random number. .reset - Reset and enable to restart and -probably- regenerate same numbers. Enjoy!

QtXGame is an intuitive, extensible, modern cross-platform tool to construct and solve extensive and strategic games related to Game Theory. Its extensibility allows user to create and add his own games, solvers and matrix transformations.

Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming.

Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available)

GLSLmath provides C++ math operations as defined by GLSL. For example, it provides methods to easily setup viewing transformations and perspective projections. GLSLmath has been inspired by the glm and slmath libraries, which aim to mimic GLSL, but in contrast to those GLSLmath does not focus on a complete conforming implementation of GLSL. It rather aims to provide a convenient single header file that implements the most commonly used subset of GLSL so that it is easy to use for rapid prototyping and GLSL teaching purposes. It is used at the Georg-Simon Ohm University of Applied Sciences in Nuremberg for teaching computer graphics courses.

parFE is fully-parallel high-performance finite element code targeted to the modeling of trabecular bones in humans. It employs scalable multigrid solvers for efficient solutions on massively parallel computers.