Big Fraction is a Java class that represents an immutable fraction, as held in a numerator and denominator. Calculations may be performed on this fraction, but the value is always held as a numerator/denominator pair. Therefore, no precision is lost. The fraction may be top-heavy, but is reduced when printed. The value can be converted into floats if desired, although precision will invariably be lost, and some large fractions (such as calculations for pi) can not be converted if the values of BigInteger exceed the range capable of floats.
JavaFE is a Java front-end that parses Java 1.4 source code and Java 1.5 bytecode. It is used as a compiler front-end for several research tools, including ESC/Java2 and RCC. JavaFE has a partial formal specification and, because it is a hand-written lexer, parser, and type checker, is very efficient.
AutoAbacus is a powerful equation solving library that finds solutions to equation sets. Equations are passed to AutoAbacus as text, and the program attempts to find a solution that satisfies all constraints. The equations can be linear or polynomial, and can include arbitrary functions. By profiling the types of equations in the system and their dependencies on each other, AutoAbacus uses appropriate solution methods to solve individual subsets of equations. Applications range from use in a business rules engine to solving engineering equation systems.
Combean is a Java framework for combinatorial structures like graphs or linear programs and optimization algorithms working with these structures. The objective of Combean is to integrate existing proven optimization packages as well as new implementations through a set of lean Java interfaces. Using a JavaBeans-based configuration mechanism, solvers for real-world optimization problems can be generated by plugging together the best-performing components. Using Combean as "glue" between optimization packages leads to more interoperable, adaptable, and flexible solutions.
PROMPT is a system for retrieval, analysis, mapping and comparison of protein sets. It allows easy mapping of different types of sequence identifiers, automatic data retrieval and integration, many analysis and comparison algorithms, and a full-featured GUI application. Exhaustive statistical tests are conducted automatically in appropriate cases, but can be performed manually. All analysis results can be viewed or visualized and exported in various formats. All methods can be used in your own Java code or with beanshell scripting in your own scripts, a pipeline, or grid systems.