Search Results for "integrated development enviorments"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

Statistics101 is an Integrated Development Environment (IDE) that uses a simple, powerful language called “Resampling Stats” to develop Monte Carlo programs to analyze and solve statistical problems. The original Resampling Stats language and computer program were developed by Dr. Julian Simon (https://www.juliansimon.com/) and Peter Bruce (https://www.scientificamerican.com/author/peter-bruce/) as a new way to teach Statistics to social science students.

Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example

The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research. VMT is now integrated with GeoGebra (http://www.geogebra.org/).

The Modular toolkit for Data Processing (MDP) is a Python data processing framework. From the user's perspective, MDP is a collection of supervised and unsupervised learning algorithms and other data processing units that can be combined into data processing sequences and more complex feed-forward network architectures. From the scientific developer's perspective, MDP is a modular framework, which can easily be expanded. The implementation of new algorithms is easy and intuitive. The...

PortableLatex is LaTeX without installation; you download and use it straight away, without changing a byte of your system. Plus a complete suite of apps to comfortably edit, view, compile and handle latex or tex projects, glued by some scripting.

The MathExt library was made to parse and calculate formulas of any complexity. It can easily be integrated into web applications. As developer you can set all kind of settings. You can even specify what commands should be available to the user.

A plugin for the Eclipse IDE implementing NumericalChameleon: a powerful numerical convertor, supporting more than 2300 units in 78 categories (physics, radixes, exchange rates, unicode, etc). Fully integrated in the Eclipse IDE (refactoring, copy/paste)

This project has been integrated with project http://sf.net/projects/okopo and will be shutdown when the published files have been transferred there.

The intentions of this project are as follows: 1; Determine the potential interest level in developing a basic interface for creating models in GAMS (General Algebraic Modeling System). 2; To create a sounding board for what should be added to the exist