as-gps contains a basic support library for accessing the inexpensive ($20) Aisin-Seiki GPS Module previously available at mavin.com. The package also includes several simple console utilities for dumping satellite status, location, and time and for synchronizing the system clock.
Cactus is a general, modular, parallel environment for solving systems of partial differential equations. The code has been developed over many years by a large international collaboration of numerical relativity and computational science research groups and can be used to provide a portable platform for solving any system of partial differential equations.
ChemApp is a programming tool from the area of computational thermochemistry. It is a library consisting of a rich set of subroutines, based on the thermodynamic phase equilibrium calculation module of ChemSage. It permits the calculation of complex, multicomponent, multiphase chemical equilibria and their associated energy balances. ChemApp is available as object code for a wide range of platforms and as a shared library/DLL. ChemApp "light" is the free version of ChemApp, and although it is restricted in two ways compared to the regular version, it gives you almost the same functionality.
EGO is a program to perform molecular dynamics simulations on parallel as well as on sequential computers. Supported parallel machines include the Hitachi SR8000, CRAY-T3E, IBM-SP2, Fujitsu VPP700, Parsytec-CC under PARIX, and inhomogeneous clusters of UNIX workstations under PVM or MPI. EGO also runs sequentially on any decent UNIX workstation, even Windows95/NT PC's (with a GNU-C compiler) can be used.
Genius is an arbitrary precision integer and multiple precision floating point calculator. It includes its own programming language similar in some aspects to C, bc, or Pascal. It can deal with rational numbers and complex numbers. It has matrix support as well. It uses the gmp library so it is very fast for calculations of large numbers. It has a command line and a GNOME interface. The GNOME interface supports plotting functions and 3D surfaces.
Gri is an extensible plotting program designed for scientists. It can draw x-y plots, contour plots, and image plots, and has rudimentary programming capabilities. Output is PostScript. Gri is not mouse driven, nor GUI-based; it is a language. Users regard it as an analogue to the LaTeX document formatting language: users gain considerable power, at the price of a moderate learning curve.
Groups, Algorithms, and Programming (GAP) is a system for computational discrete algebra with particular emphasis on computational group theory and related areas. It provides a Pascal-like interpreted language, data types for many algebraic objects, a function library, and large libraries of data.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.