Ports Search

An X11 graphing utility. Commonly used to display TCP traces.

The program xspread is a public domain spreadsheet which runs under X Window system or ascii terminals. Xspread uses the X Window system if available or curses and term[cap/info] for ascii displays.

Yacas (Yet Another Computer Algebra System) is a small and highly flexible general-purpose computer algebra language. The syntax uses a infix-operator grammar parser. The distribution contains a small library of mathematical functions, but its real strength is in the language in which you can easily write your own symbolic manipulation algorithms. The core engine supports arbitrary precision arithmetic (although it can optionally be linked with the library "libgmp3") and is able to execute symbolic manipulations on various mathematical objects by following user-defined rules.

Z3 is a high-performance theorem prover developed at Microsoft Research.

UUID::Random::Patch::UseMRS makes UUID::Random use rand() from Math::Random::Secure instead of the default rand() that comes with Perl. It is useful for creating cryptographically secure UUID's. On the other hand, as a note, this makes generate() around 20 times slower. After you use this module, use UUID::Random as usual.

These are Steve Baker <sjbaker1@airmail.net>'s portability libraries. They are licensed under the LGPL. The following libraries are provided: JS -- A Joystick interface. PUI -- A simple GUI built on top of OpenGL. SG -- Some Standard Geometry functions (vector and matrix math, spheres, boxes, frustra, etc) SL -- A Games-oriented Sound Library. SSG -- A Simple Scene Graph API built on top of OpenGL.

Provide mathematical, string and aggregate functions for SQL queries using the SQLite loadable extensions mechanism. Math functions: acos, asin, atan, atn2, atan2, acosh, asinh, atanh, difference, degrees, radians, cos, sin, tan, cot, cosh, sinh, tanh, coth, exp, log, log10, power, sign, sqrt, square, ceil, floor, pi String functions: replicate, charindex, leftstr, rightstr, ltrim, rtrim, trim, replace, reverse, proper, padl, padr, padc, strfilter Aggregate functions: stdev, variance, mode, median, lower_quartile, upper_quartile

SciMark 2.0 is a Java benchmark for scientific and numerical computing. It measures several computational kernels and reports a composite score in approximate Mflops (Millions of floating point operations per second). Results of this benchmark can be sent to pozo@nist.gov and are listed at <http://math.nist.gov/cgi-bin/ScimarkSummary>;.

MimeTeX, licensed under the GPL, lets you easily embed LaTeX math in your html pages. It parses a LaTeX math expression and immediately emits the corresponding gif image, rather than the usual TeX dvi. And mimeTeX is an entirely separate little program that doesn't use TeX or its fonts in any way. It's just one cgi that you put in your site's cgi-bin/ directory, with no other dependencies. It's easy to use. Just place an html <img> tag in your document wherever you want to see the corresponding LaTeX expression.

The Template Numerical Toolkit (TNT) is a collection of interfaces and reference implementations of numerical objects useful for scientific computing in C++. The toolkit defines interfaces for basic data structures, such as multidimensional arrays and sparse matrices, commonly used in numerical applications. The goal of this package is to provide reusable software components that address many of the portability and maintenance problems with C++ codes. TNT provides a distinction between "interfaces" and "implementations" of TNT components. For example, there is a TNT interface for two-dimensional arrays which describes how individual elements are accessed and how certain information, such as the array dimensions, can be used in algorithms; however, there can be several implementations of such an interface: one that uses expression templates, or one that uses BLAS kernels, or another that is instrumented to provide debugging information. By specifying only the interface, applications codes may utilize such algorithms, while giving library developers the greatest flexibility in employing optimization or portability strategies.