Search Results for "software testing projects" - Page 2

Manufactured Analytical Solution Abstraction (MASA): a library for applying the Method of Manufactured Solutions to verification of numerical software used for solving systems of nonlinear algebraic and differential equations.

Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.

Opensource software projects for genetics and genomics from Sage Bionetworks.

Auxiliary tools for Boost uBLAS library. Has several strategy-driven functors for: 1) random-generating of vectors & matrices 2) Nice & suitable stream output of them 3) Equality-compare capacibility for vectors and matrices and approximate comparing.

Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.

JMatrixCalc is a Java package used for matrix calculations. It's aim is to make developing many scientific (and non-scientific as well) project much easier and quicker. These projects include: educational software, statistics and many others.

D-Cog (Declarative-Cognition) is a Java based framework for training software components (reusable, object-oriented, interface-driven components). Instead of programmed, software components are trained by example to get the expected results.

PHPTuring is a Turing Machine simulator built in Object-Oriented PHP5, using the Test-Driven (TDD) approach.

Elisa is an open C++ library for constraint programming and constraint solving techniques. Interval-based algorithms for solving continuous constraints require that Gaol (http://sf.net/projects/gaol) is already installed on your system.

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