BioJava aims to provide a comprehensive set of Java components for the rapid development of applications in Bioinformatics. It contains interfaces for representing Sequences, Features, and other important bioinformatics concepts. It can also read and write sequence data in a variety of common formats and communicate with Ensembl databases and with DAS and BioCorba servers.
CwMtx is a library written in C++ that provides the matrix and vector operations that are used extensively in engineering and science problems. A special feature of this library is the quaternion class which implements quaternion math. Quaternions are very useful for attitude determination in 3D space because they do not suffer from singularities. Furthermore, successive rotations and transformations of vectors can be accomplished by simple quaternion multiplication. Attitude dynamics can be expressed in a very compact form using quaternions
The Date::Calc package consists of a (pure-Perl) wrapper which either loads Date::Calc::XS (a separate implementation in C and XS) or Date::Calc::PP (a pure-Perl implementation which is part of the Date::Calc package). The Date::Calc::XS and Date::Calc::PP modules perform all kinds of date calculations based on the Gregorian calendar (the one used in all Western countries today), according to relevant norms and standards: ISO/R 2015-1971, DIN 1355 and, to some extent, ISO 8601 (where applicable). The package is designed as an efficient toolbox, not a bulky ready-made application. It provides extensive documentation and examples of use, multi-language support, and special functions for business needs.
GiNaC (GiNaC is Not a CAS (Computer Algebra System)) is a C++ library for symbolic calculations. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation-intense numeric applications, graphical interfaces, etc.). Contrary to other CASes it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities.
The number perl script will print the English name of a number. One can print names of extremely large numbers (e.g. 1e1234567). Number can be run on the command line, or as a CGI script when run as 'number.cgi'. Number prints names in both the American and European naming system. It can also print the decimal expansion of a number in either naming system.
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.