Search Results for "source testing unit testing" - Page 2

IsItPrime is a powerful, cross-platform, multi-threaded standalone application capable of testing massive numbers in several ways through a highly interactive and easily-understood user interface. As of version 2.0.0, IsItPrime and other NCPrime applications no longer require the Visual C++ 2010 Redistributable for Windows. All NCPrime applications released after 1 November 2012 use the Qt framework and thus require Qt libraries (included) for cross-platform compatibility. IsItPrime is...

If you are looking for the 64-bit version, find it here: http://sourceforge.net/projects/gjsieve/files/200/gjsieve203.exe/download GJSieve is a basic, yet full-featured sieve and tester for numbers of several classifications, including Proth, Cullen, and Woodall. GJSieve is built on the GNU Multiple-Precision (GMP) integer + rational library, and is available for both Windows and OSX. Currently, the application differs greatly across platforms. This may change in the future. They...

Визуализатор алгоритмов на графах. Поддерживает обмен графами по сети, а также имееет встроенный редактор.

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.

BIL++ is a set of standalone C++ packages for data processing in Bioinformatics (Graph mining, Bayesian networks, Genetic algorithm, Discretization, Gene expression data analysis, Hypothesis testing).

Simple UI to test the effectiveness of a heuristic algorithm against the brute force method for path finding among an arbitrary number of arbitrarily placed points on a grid. This is an educational project, don't expect new and better methods.

IMathAS is a web-based math assessment and homework system. It is a course/learning management system (CMS/LMS/VLE) and testing system featuring algorithmic questions, similar to WebWork, Webassign, and publisher systems like iLrn, MathXL, etc.

A Testbench for testing and learning Geometric modeling.

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.

Many computational problems need arithmetic operations in polynomial finite rings over Z/nZ, where n is an integer (n>1). This library provides efficient operations for applications such as integer factorization and primality testing.

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.

This library provides systems for testing rumor spread through various network types including but not limited to small-world networks.

GradeSignifier provides statistical significance testing for item response data. In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.

A .NET implementation of the Gabow, Kaplan, Tarjan algorithm for testing the uniqueness of a perfect matching in a general graph.

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.

CryptoHelper is a Java program designed to aid in the decryption of classical ciphers, ie pre WWII ciphers. It brings together tools like frequency analysis, friedman tests, enciphering/deciphering for several clasical ciphers, and brute force algorithm

Yawn: Yet Another W* Network: a java framework for developing, training and testing neural networks independently of the model and test environment.

The aim of this project is to collect and develop high quality pseudo random number generator (s) and to develop methods for testing suspected random sequences.

Virtual TI emulates nearly the entire line of Texas Instruments graphing calculators, and offers features that speed up both debugging and testing of calculator programs. Windows version is quite stable but the Linux/OSX version is only in planning.