Showing page 1 of 1.

• 
  GLPK for Windows

  Windows binaries for the GNU Linear Programming Kit (GLPK)

  124 weekly downloads
• 
  Community Z Tools

  Tool support for the Z formal notation

  149 weekly downloads
• 
  Octclipse

  Octave Eclipse GUI

  90 weekly downloads
• 
  ADaMSoft

  Open Source and data mining software

  137 weekly downloads
• 
  GLPK Lab for Windows

  GLPK Lab is a set of software tools and libraries based on the GLPK (GNU Linear Programming Kit) package and intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems.

  19 weekly downloads
• 
  Java Micro Benchmark (Desktop/Server)

  Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.

  32 weekly downloads
• 
  Hilbert II - QEDEQ

  proof verifier for mathematical proofs and documentation generator

  27 weekly downloads
• 
  QMC Logic Minimizer

  combinational logic functions minimization

  12 weekly downloads
• 
  CamShaft

  Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.

  8 weekly downloads
• 
  genomemap

  A software framework to build maps for Neurospora crassa genome based on probabilistic models of meiotic recombination. A netbeans platform application is built to incorporate the computations. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/GENOMEMAP

  8 weekly downloads
• 
  OpenCalc

  OpenCalc source is now hosted on Github. Test version is posted, please report bugs that you find. Visit the webpage listed below to run the newer development version. Requires JAVA 1.4 or later.

  3 weekly downloads
• 
  Smart Calculator

  Smart Calculator is beautifully designed, having both standard and scientific modes of calculations. It is built to run anywhere, as its written completely in Java. It featured different types of Look and Feels, using Java's Swing PLAF library.

  3 weekly downloads
• 
  JPlotter

  Plotter for math functions y=f(x)

  2 weekly downloads
• 
  Yaşını Bul

  A program to find your age

  1 weekly downloads
• 
  Geometri Hesaplamaları

  Geometry calculations

  1 weekly downloads
• 
  JBernstein

  JBernstein: Exploration techniques for non-linear constraint checking

  1 weekly downloads
• 
  JFunctionViewer

  JFunctionViewer is a simple and fast OpenSource function plotter. Since it is written in Java it is Platform independend and can even be run from inside a Browser.

  1 weekly downloads
• 
  Sage Bionetworks

  Opensource software projects for genetics and genomics from Sage Bionetworks.

  1 weekly downloads
• 
  GeoGebra

  GeoGebra is free and multi-platform dynamic mathematics software for learning and teaching geometry, algebra, statistics, and calculus. Download the free software at http://www.geogebra.org. Find the source code at http://www.geogebra.org/trac

  0 weekly downloads
• 
  JWeb Crawler

  A web crawler which uses regular expressions on text downloaded from a site.

  0 weekly downloads
• 
  reputron

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

  0 weekly downloads