Trad4 is a fully concurrent, thread safe, graph based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk. Trad4 is proposed as an alternative to the Von Neumann model of computer architecture. It is a new way of arranging programs in memory and a new style of flow-of-control.
gfit analyzes data using models. gfit lets the user create a model for virtually any type of system using a minimal amount of computer code. It is particularly useful for studying various systems in biophysics, biochemistry, and cell biology. The interface for gfit models specifies relationships between input and output variables in a rule-based fashion. It provides flexibility and allows the user to reuse same models for many related problems.
SINGULAR is a computer algebra system for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. Its main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings over a field (eg. finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings with respect to an ideal. It features fast and general implementations for computing Groebner and standard bases, including Buchberger's algorithm and Mora's Tangent Cone algorithm. Its interactive shell and C-like programming language can be extended by libraries written in the SINGULAR programming language.
The algorithms package is aimed at being both simple and powerful for typesetting pseudo-code/algorithms in LaTeX documents. Since it uses the (La)TeX engine to generate its output, the results obtained are frequently of high-quality. The package comes with a manual and is quite easy to use in day-to-day documents.
VisIt is an interactive parallel visualization and graphical analysis tool for viewing scientific data. Users can quickly generate visualizations from their data, animate them through time, manipulate them, and save the resulting images for presentations. VisIt contains a rich set of visualization features so that you can view your data in a variety of ways. It can be used to visualize scalar and vector fields defined on two- and three-dimensional (2D and 3D) structured and unstructured meshes. It was designed to interactively handle very large data set sizes in the terascale range, and works well down to small data sets in the kilobyte range.
FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.
DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic logics, defeasible logic has linear complexity, allowing DELORES to execute large theories very quickly. DELORES's algorithm extends to general defeasible theories through the use of a pre-processing transformation which eliminates all uses of defeaters and superiority relations.
The Kent Retargettable Occam Compiler is a multi-platform Occam 2.1 compiler that is designed to allow the Occam programming language to be used on non-Transputer platforms. Extensions from a subset of the Occam 3 specification and from pi calculus have been added over time. As a result, the version of the language supported by the compiler is also sometimes referred to as Occam 2.5 or Occam-pi.