Ports 搜索

TestU01 is a software library, implemented in the ANSI C language, and offering a collection of utilities for the empirical statistical testing of uniform random number generators. The library implements several types of random number generators in generic form, as well as many specific generators proposed in the literature or found in widely-used software. It provides general implementations of the classical statistical tests for random number generators, as well as several others proposed in the literature, and some original ones. These tests can be applied to the generators predefined in the library and to user-defined generators. Specific tests suites for either sequences of uniform random numbers in [0,1] or bit sequences are also available. Basic tools for plotting vectors of points produced by generators are provided as well. Additional software permits one to perform systematic studies of the interaction between a specific test and the structure of the point sets produced by a given family of random number generators. That is, for a given kind of test and a given class of random number generators, to determine how large should be the sample size of the test, as a function of the generator's period length, before the generator starts to fail the test systematically.

Triangle generates exact Delaunay triangulations, constrained Delaunay triangulations, Voronoi diagrams, and quality conforming Delaunay triangulations. The latter can be generated with no small angles, and are thus suitable for finite element analysis. Show Me graphically displays (using X) the contents of geometric files, especially those generated by Triangle, my two-dimensional quality mesh generator and Delaunay triangulator. Show Me can also write PostScript images to files.

XPPAUT is a graphical tool for solving * differential equations, * difference equations, * delay equations, * functional equations, * boundary value problems, and * stochastic equations.

This project is aimed at installing (and keeping update) the site specific config files we want, after preprocessing them (conditional content and include files and include sections). It also triggers postinstall scripts whenever their associated config file has been changed. It can also remove config files, including running an preremove script before doing so. All this is driven by an simple config file list.

A plugin for GKrellM, which periodically updates the desktop's background image.

IPBT (It's Play-Back Time) is a ttyrec player with many features that ttyplay lacks. Notable features are: * Pausing * Move forward/backward frame by frame * Adjustable play speed (faster/slower) * Jump to beginning/end in a single keystroke * Searching forward/backward for a given string * ttygrep and ttydump utilities IPBT works by reading the entire input file and running it through an internal terminal emulator (the one from PuTTY).

kenny.pl translates a given text from or to KennySpeak. KennySpeak looks like this: "Ppfmfp ppmffm mfmppfmpm, fmpmfpmppffm'fpmmpp pmpmffpmfpmfmppmpm Pmpmppppppppffm!" KennySpeak was invented by Kohan Ikin. kenny.pl was written by Christian Garbs.

The freedesktop.org project provides a shared high-color desktop icon theme shell for use under both KDE and GNOME desktops.

Otter is an automated deduction system (theorem prover) for first-order logic with equality developed at Argonne National Laboratories.

ElScreen is an Emacs utility with which you can have multiple screens (window-configuration) on your GNU Emacs as well as GNU screen on shell.