Ports 搜索

JAGS is Just Another Gibbs Sampler -- a program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation. The functionality of JAGS is based on the BUGS program created by the MRC Biostatistics Unit (http://www.mrc-bsu.cam.ac.uk/). There is a short manual that describes the differences between JAGS and BUGS. Some of the BUGS examples have been modified to run with JAGS, and have been turned into a test suite.

This module was adapted from Math::Vector. It uses most of the same algorithms, and currently preserves the same names as the original functions, though some aliases have been added to make the interface more natural. The "object" for the object oriented calling style is a blessed array reference which contains a vector of the form [x,y,z]. Methods will typically return a list.

The Math::VectorReal package defines a 3D mathematical "vector", in a way that is compatible with the previous CPAN module Math::MatrixReal. However it provides a more vector oriented set of mathematical functions and overload operators, to the MatrixReal package. For example the normal perl string functions "x" and "." have been overloaded to allow vector cross and dot product operations. Vector math formula thus looks like vector math formula in perl programs using this package.

Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. A new Eclipse-based version is in development. This is described separately at http://proofgeneral.inf.ed.ac.uk/kit/wiki. Proof General has been developed at the LFCS in the University of Edinburgh. It is distributed under the conditions of the GNU General Public License. There is a mailing list: http://proofgeneral.inf.ed.ac.uk/mailinglist

Bayesian estimation, particularly using Markov chain Monte Carlo (MCMC), is an increasingly relevant approach to statistical estimation. However, few statistical software packages implement MCMC samplers, and they are non-trivial to code by hand. pymc is a python package that implements the Metropolis-Hastings algorithm as a python class, and is extremely flexible and applicable to a large suite of problems. pymc includes methods for summarizing output, plotting, goodness-of-fit and convergence diagnostics.

This port contains data and baseline images for VTK regression testing and other VTK examples. The Data directory are data files of various types. This includes polygonal data, images, volumes, structured grids, rectilinear grids, and multi-variate data. The Baseline are the testing images. These are used in testing to compare a valid image against a generated image. If a difference between the two images is found, then the test is considered to have failed.

Sage is a free open-source mathematics software system licensed under the GPL. It combines the power of many existing open-source packages into a common Python-based interface. Mission: Creating a viable free open source alternative to Magma, Maple, Mathematica and Matlab. For instructions on adding optional packages, see files/optional-packages.txt. You may want to avoid the command "make install" and instead simply use the bin/mv command to move the ${WRKSRC} directory to where-ever you want it.

Xdelta provides the ability to generate deltas between a pair of files and later apply those deltas. It operates similar to the diff and patch commands, but works on binary files and does not produce a human readable output. Xdelta has three subcommands, delta, patch, and info. Delta accepts two file versions and produces a delta, while patch accepts the original file version and delta and produces the second version.

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).

This is a Expectk script that allows you to save time connecting to different hosts using ssh. It saves your password, login ID, and other host info that you have to type over and over again to connect. Once you save your connection information you can connect to a host with 2 clicks. First you choose the name and then hit connect. It will save you a lot of time.