Search Results for "eclipse"

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.

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Generates the Reverse Polish Notation (Postfix) expression form of an arithmetic expression in (Infix) form. Performs the computation of the arithmetic expression if Integers or Floating point numbers are used in the expression. Supports PEDMAS order of computation, thus, all the operators of Exponentiation, Division, Multiplication, Addition and Subtraction, as well as using Parentheses for grouping and prioritization is all handled.

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

JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.

...You can also download the Java code used to create this APP. There are 2 zips. One is for a working windows APP, and the other with complete code and file structure. I used Eclipse to develop the APP. Click the link you want to download to get the Statistics Tables Windows.exe or OS X zipped files. After saving Windows file, just click the jdistabs_win.exe file to install. If you use OS X for MAC, download to the Download directory in the Finder. Then copy to the Desktop folder. Click on the jdistabs_osx.zip to unzip. ...

A rich client to analyse data from a liquid-feedback (http://liquidfeedback.org/) instance, for now it's a 3d graph explorer to inspect the delegations. It's an application based on the eclipse platform (indigo). To be precise its a directed weighted multi graph browser in 3d. Find out more in the wiki https://sourceforge.net/p/lqfbanalyser/wiki/Home/ . Generated reports https://sourceforge.net/p/lqfbanalyser/wiki/generated%20lqfb%20reports/ .

...Mac support is possible. The project needs a maintainer for Mac version, since I don't have Mac to build Octclipse and test it on this platform. Also, it is worth to support Eclipse 4.0 Juno with DLTK 4.

Provide a reference implementation of Moving Taylor Bayesian Regression, a method for nonparametric multi-dimensional function estimation with correlated errors from finite samples, as a Python package based on SciPy

Yet Another Data Mining Platform

Eclipse-Plugin: A scientific calculator with arbitrary precision and natural arithmetic input.

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse

Framework: Project for Evolutionary Predator Prey Algorithms, used to implement an evolutionary scheme based on the developement by van Laumanns. Implement testproblems, special behaviours, environments, and other yet not known features.

Eclipse plugin capable of displaying OpenMath, Content MathML and Presentation MathML with some kind of interactivity

jMATLAB is a eclipse based workbench for scientific computing

Prenzl!! is a desktop application and a screen saver running artistic cellular automata. The application is based on an Eclipse architecture and the rules can be in native. Our mission is to provide a viewer and an SDK for this kind of art, called CArt.

"CAGE", the Computer Audio Garden in Eclipse, is to be an Eclipse-based, Java and XML workbench, for the computer music composer. It will use the Rich Client Platform to provide a basic backbone framework, enabling existing computer music tools to be p

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 program will enable you to find every solar eclipse in between about 2500 BC to 3500 AD. The central line can be displayed graphically and saved as a JPEG or PNG image file or as a PDF document.

It will be an Eclipse RCP application for stock price analysis.

reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.