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

This is a Integer to Roman numerals converter.

PSPP is a program for statistical analysis of sampled data. It interprets commands in the SPSS language and produces tabular output in ASCII or PostScript format. PSPP development is ongoing. It already supports a large subset of SPSS's transformation language. Its statistical procedure support is currently limited, but growing.

pure-mpfr makes the MPFR multiprecision floats (henceforth referred to as mpfr numbers or values) available in Pure, so that they work with the other types of Pure numbers in an almost seamless fashion.

SVGMath is a command-line utility to convert MathML expressions to SVG, written entirely in Python.

Another Python Graph Library is a simple, fast and easy to use graph library with some machine learning features. The main features are as follows: * Directed, undirected and multigraphs designed under a hierarchical class structure * Sparse and Dense graph structures using numpy and scipy for fast linear algebra computations * Many operations on graphs such as subgraphs, search, Floyd-Warshall, Dijkstras algorithm * Erdos-Renyi, Small-World and Albert-Barabasi random graphs * Write to Pajek, and simple CSV files * Some machine learning features - data preprocessing, kernels, PCA, KCCA, wrappers for LibSVM, and some mlpy learning algorithms * Unit tested using the Python unittest framework

Plots data on map projections (with continental and political boundaries).

bitmath simplifies many facets of interacting with file sizes in various units. Functionality includes: - Converting between SI and NIST prefix units (kB to GiB) - Converting between units of the same type (SI to SI, or NIST to NIST) - Automatic human-readable prefix selection (like in hurry.filesize) - Basic arithmetic operations (subtracting 42KiB from 50GiB) - Rich comparison operations (1024 Bytes == 1KiB) - bitwise operations (<<, >>, &, |, ^) - argparse integration - progressbar integration - String parsing - Sorting

The BitVector class for a memory-efficient packed representation of bit arrays and for logical operations on such arrays. The core idea used in this Python script for bin packing is based on an internet posting by Josiah Carlson to the Pyrex mailing list.

Bottleneck is a collection of fast NumPy array functions written in Cython.