A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.
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.
The Template Numerical Toolkit (TNT) is a collection of interfaces and reference implementations of numerical objects useful for scientific computing in C++. The toolkit defines interfaces for basic data structures, such as multidimensional arrays and sparse matrices, commonly used in numerical applications. The goal of this package is to provide reusable software components that address many of the portability and maintenance problems with C++ code.
np is a compact NMEA parser. It provides quick and flexible access to GPS data from various sources. Data can be read from devices, text files, STDIN, or GPSD (raw mode). The list of supported NMEA sentences includes $GPRMC, $GPGGA, $GPGSA, $GPGSV, as well as Garmin's proprietary $PGRME and $PGRMM. By employing user-definable stylesheets, the parser output can be adapted to numerous application scenarios. The parser can be queried directly from the console or through the included Web front end.
ImageJ is an image processing program inspired by NIH Image for the Macintosh. It can display, edit, analyze, process, save, and print 8-bit, 16-bit, and 32-bit images. There are modules for biology, astronomy, nuclear medicine, physics, and more. If you can take a picture of something, whether with a microscope, a telescope, an oscilloscope, an xray machine, or a scanner, then this program will let you enhance, manipulate, and measure the results.
Parallel Three-Dimensional Fast Fourier Transforms, dubbed P3DFFT, is a library for computing 3D FFTs using 2D (pencil) decomposition. It is written using Fortran with MPI, and is tuned to work on multiple single-CPU systems (up to 32768 of them). It is built to leverage high-performance serial 1D FFT libraries, such as FFTW or ESSL.