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.