gjrand is a programmer's library for pseudo-random numbers. It includes random number generator testing code and is intended for simulation, games, and "Monte-Carlo" algorithms. It produces pseudo-random numbers of the types: uniform integers, uniform reals, normally distributed reals, binomial, Poisson, integer permutation, chi-squared distribution, "Student" T distribution, and spherical distribution.
Parallel Performance Wizard (PPW) is a performance analysis tool designed for UPC, MPI, and SHMEM programs. It features an easy-to-use interface and tight integration with GAS programming models via the GASP interface. It is known to work on many platforms. This project is part of a study of existing and emerging performance analysis theory and tools, current and future HPC architectures, and usability and user productivity preferences and methods, along with various programming models.
Maveryx is an automated functional testing tool. It provides testers with automated testing capabilities for functional testing, regression testing, GUI testing and data-driven testing. It does not require you to pre-record or capture any GUI Maps (or ‘Test Object Maps’) to create and run tests. During test execution, Maveryx takes ‘snapshots’ of the application user interface and automatically identifies the UI Objects to test. The tool includes fuzzy matching algorithms to unambiguously locate objects at runtime, even if the objects have changed since test creation. Maveryx also provides the ability to automate keywords, to validate dynamic data, to create data-driven tests, and to support custom controls. It is platform independent and runs as a standalone application or as an Eclipse plugin.
The Java Application Monitor (JAMon) is a free, simple, high performance, thread safe, Java API that allows developers to easily monitor production applications. JAMon can be used to determine application performance bottlenecks, user/application interactions, and application scalability. JAMon gathers summary statistics such as hits, execution times (total, average, minimum, maximum, standard deviation), and simultaneous application requests. JAMon statistics are displayed in the sortable JAMon report.
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Galemu is an emulator tool for Generic Array Logic (GAL) and Programmable Array Logic (PAL) chips. It provides a trivial command line tool and an advanced QT4-based graphical user interface. JEDEC fuse maps are supported for configuring the emulated chip. Combinatorial and registered chip configurations are supported.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.