Ports Search

Aamath is a program that reads mathematical expressions in infix notation and renders them as ASCII art. It may be useful to send mathematics through text-only media, such as e-mail or newsgroups.

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. Alt-Ergo is compact, safe, and modular. Each component is described by a small set of inference rules and is implemented as an Ocaml functor.

The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. At present, it provides C and Fortran77 interfaces to a portable, efficient BLAS implementation, as well as enhanced versions of a few routines from LAPACK. To link with ATLAS shared libraries: Serial (thread-safe) Fortran77 BLAS: -lf77blas Multi-threaded Fortran77 BLAS: -lptf77blas Serial (thread-safe) C BLAS: -lcblas Multi-threaded C BLAS: -lptcblas ATLAS-enhanced LAPACK, serial (thread-safe) interface: -lalapack -lf77blas -lcblas ATLAS-enhanced LAPACK, multi-threaded interface: -lalapack -lptf77blas -lptcblas

The BLACS (Basic Linear Algebra Communication Subprograms) project is an ongoing investigation whose purpose is to create a linear algebra oriented message passing interface that may be implemented efficiently and uniformly across a large range of distributed memory platforms.

Blitz++ is a C++ class library for scientific computing which provides performance on par with Fortran 77/90. It uses template techniques to achieve high performance. The current versions provide dense arrays and vectors, random number generators, and small vectors and matrices.

CLN is a library for computations with all kinds of numbers. It has a rich set of number classes: - Integers (with unlimited precision), - Rational numbers, - Floating-point numbers: Short float, Single float, Double float, Long float (with unlimited precision), - Complex numbers, - Modular integers (integers modulo a fixed integer), - Univariate polynomials. The subtypes of the complex numbers among these are exactly the types of numbers known to the Common Lisp language. Therefore CLN can be used for Common Lisp implementations, giving `CLN' another meaning: it becomes an abbreviation of "Common Lisp Numbers".

Dr. Geo is a GTK interactive geometry software. It allows one to create geometric figure plus the interactive manipulation of such figure in respect with their geometric constraints. It is useable in teaching situation with students from primary or secondary level.

GKmap is a free K-Map disclosure software, which is developed to solve the Digital Electronics design problems. Along with design it also helps in analysis of information flow in the digital circuits.

This is eispack from research.att.com. I've cleaned up the Makefile, but it is otherwise the same. The package is described in: 1. Smith, B.T, Boyle, J.M, Dongerra, J.J., Garbow, B.S., Ikebe, Y., Klema, V.C., and Moler, C.B., Matrix Eigensystem Routines -- EISPACK Guide, Lecture Notes in Computer Science, Vol. 6, Second Edition, Springer-Verlag, New York, Heidelberg, Berlin, 1976 2. Garbow, B.S., Boyle J.M., Dongerra, J.J, and Moler C.B., Matrix Eigensystem Routines -- EISPACK Guide Extension, Lecture Notes in Computer Science, Vol. 51, Springer-Verlag, New York, Heidelberg, Berlin, 1977 As the package is in FORTRAN there are no include files for the library, and the only thing to install is the library itself.

ent applies various tests to sequences of bytes stored in files and reports the results of those tests. The program is useful for evaluating pseudorandom number generators for encryption and statistical sampling applications, compression algorithms, and other applications where the information density of a file is of interest.