Ports Search

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

Graphillion is a Python software package on search, optimization, and enumeration for a graphset, or a set of graphs. - Lightweight data structures for handling x-illions of graphs - Search, optimization, and enumerate large and complex graph sets - Efficient implementation extending Python with C/C++ - Working with existing graph tools like NetworkX - Open source MIT license - Well tested: more than 600 unit tests - Fast prototyping, easy to teach, and multi-platform

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

Array::Compare is a Perl module which allows you to compare two arrays. It has a number of features which allow you to control the way that the arrays are compared: * white space in array elements can be significant or ignored. * particular columns in the arrays can be ignored. Additionally you can get a simple true/false return value or the number of columns which differ or an array containing the indexes of the differing columns. Seamus Venasse <svenasse@polaris.ca>

Geo::Coder::Multiple is a wrapper for multiple Geo::Coder::* modules. Most free geocoding datasource specify a limit to the number of queries which can be sent from an IP or made using an API key in a 24 hour period. This module balances the incoming requests across the available sources to ensure individual limits are exceeded only when the total limit is exceeded. The algorithm for load balancing takes into account the limit imposed by the source per 24 hour period.

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.