Ports Search

PRNG is a collection of portable, high-performance ANSI-C implementations of pseudorandom number generators such as linear congruential, inversive congruential, and explicit inversive congruential random number generators (LCG, ICG and EICG, respectively) created by Otmar Lendl and Josef Leydold.

Luminol is a light weight python library for time series data analysis. The two major functionalities it supports are anomaly detection and correlation. It can be used to investigate possible causes of anomaly.

SIVP stands for Scilab Image and Video Processing toolbox. SIVP intends to do image processing and video processing tasks. SIVP is meant to be a useful, efficient, and free image and video processing toolbox for Scilab.

STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. STP has been used in many research projects at Stanford, Berkeley, MIT, CMU and other universities. It is also being used at many companies such as NVIDIA, some startup companies, and by certain government agencies. The input to STP are formulas over the theory of bit-vectors and arrays (This theory captures most expressions from languages like C/C++/Java and Verilog), and the output of STP is a single bit of information that indicates whether the formula is satisfiable or not. If the input is satisfiable, then it also generates a variable assignment to satisfy the input formula.

The TiMBL software package is a fast, decision-tree-based implementation of k-nearest neighbor classification. The package includes the IB1, IB2, TRIBL, TRIBL2, and IGTree algorithms, and offers various weighting metrics.

CRlibm is an efficient and proven mathematical library, which provides implementations of the double-precision C99 standard elementary functions, correctly rounded in the four IEEE-754 rounding modes, and sufficiently efficient in average time, worst-case time, and memory consumption to replace existing libms transparently. The distribution includes extensive documentation with the proof of each function (currently more than 100 pages), as well as all the Maple scripts used to develop the functions. This makes this library an excellent tutorial on software elementary function development. CRlibm also includes a lightweight library for multiple precision, scslib (Software Carry Save Library). This library has been developed specifically to answer the needs of the CRlibm project: precision up to a few hundred bits, portability, compatibility with IEEE floating-point standards, performance comparable to or better than GMP, and a small footprint. It uses a data-structure which allows carry propagations to be avoided during multiple-precision multiplications, and supports addition, subtraction, multiplication, and conversions.

Wcalc is a powerful arbitrary-precision calculator. It has standard functions (sin, asinh, logtwo, floor, etc), many pre-defined constants (pi, e, c, etc.), variables, "active" variables, command history, and hex/octal/binary i/o, conversions, and more.

xgraph is a program that will help you draw graphs. It is pretty old (based on X11R3!) and required lots of hacks to make it compile. Tell me if it does something odd.

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.

This is a fairly complete CPU identification utility. It has been tested on several Intel, AMD and Cyrix CPUs. If the Pentium III serial number misfeature is present and enabled, this program will display it.