Ports Search

Racket is a set of tools for writing and running the PLT scheme programming language. It includes a graphical IDE (drracket) that features highlighting of the source of syntax and run-time errors, support for multiple language levels, an algebraic stepper, objects, modules, a GUI library, TCP/IP, and much more. It includes an extensive, hyper-linked help system called Help Desk, available from the Help menu, the plt-help command line tool, or through a web browser. The racket-textual port provides a text-only version of the Racket environment without X11 dependencies.

tinypy is a minimalist implementation of python in 64k of code it includes a whole heap of features: * parser and bytecode compiler written in tinypy * fully bootstrapped * luaesque virtual machine with garbage collection written in C it's "stackless" sans any "stackless" features * cross-platform :) it runs under Windows / Linux / OS X * a fairly decent subset of python o classes and single inheritance o functions with variable or keyword arguments o strings, lists, dicts, numbers o modules, list comprehensions o exceptions with full traceback o some builtins * batteries not included -- yet

Calcoo is a scientific calculator designed to provide maximum usability. The features that make Calcoo better than (at least some) other calculator programs are: * Bitmapped button labels and display digits to improve readability. * No double-function buttons. * Undo/redo buttons. * Copy/paste interaction with X clipboard. * Both RPN (reverse Polish notation) and algebraic modes are available. * Tick marks to separate thousands. * Two memory registers with displays. * Displays for Y, Z, and T registers. * It is a purely scientific calculator. Features that Calcoo lacks: * Statistical mode. * HEX mode.

From the website: Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". Coq is based on a logical framework called "Calculus of Inductive Constructions" extended by a modular development system for theories. Coq is distributed under the GNU Lesser General Public Licence Version 2.1 (LGPL). CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed.

Grace is a WYSIWYG 2D plotting tool for the X Window System and M*tif, successor of ACE/gr (Xmgr). A few of its features are: * User defined scaling, tick marks, labels, symbols, line styles, colors. * Batch mode for unattended plotting. * Read and write parameters used during a session. * Polynomial regression, splines, running averages, DFT/FFT, cross/auto-correlation. * Exports high-resolution graphics to (E)PS, PDF, MIF, and SVG formats * Supports cross-platform PNM, JPEG and PNG formats While grace has a convenient point-and-click interface, most parameter settings and operations are available through a command line interface (found in Data/Commands).

Chart::Math::Axis implements in a generic way an algorithm for finding a set of ideal values for an axis. That is, for any given set of data, what should the top and bottom of the axis scale be, and what should the interval between the ticks be. The terms top and bottom are used throughout this module, as it's primary use is for determining the Y axis. For calculating the X axis, you should think of 'top' as 'right', and 'bottom' as 'left'.

The "Statistics::Contingency" class helps you calculate several useful statistical measures based on 2x2 "contingency tables". I use these measures to help judge the results of automatic text categorization experiments, but they are useful in other situations as well. The general usage flow is to tally a whole bunch of results in the "Statistics::Contingency" object, then query that object to obtain the measures you are interested in. When all results have been collected, you can get a report on accuracy, precision, recall, F1, and so on, with both macro-averaging and micro-averaging over categories.

Ree stands for ROM extension extractor. Ree will scan your system memory, address c0000 - f0000 in 512 steps for identification of ROM extensions (55,aa), if found it will calculate its size (byte after id, multiplied by 512byte steps) and save the output to a .rom file. This package also comes with fontdump, a program to extract the fonts from your video BIOS ROMs. You might ask yourself why collect x86 ROM extensions? It's like collecting butterflies. A collection of various .rom files can be found on the project page. Please submit your ROMs there.

Find paths between two keys in the OpenPGP Web of Trust, and get statistics about a key or the whole web. Observe: * We only search the largest strongly connected set. * No attempt is made to verify the signatures. For you to be able to trust a path, you must verify all signatures yourself. * Even if there exists a path between you and another key, you have to trust the other people in at least one path in the graph to trust the key. Keys can be specified as normal key IDs (0x12345678 or 12345678), or a number of space-separated case-insensitive search terms (i.e. "rms@gnu.org" or "@gnu Stallman").

libdvdcss is a simple library designed for accessing DVDs like a block device without having to bother about the decryption. The important features are: - Portability. Currently supported platforms are GNU/Linux, FreeBSD, BeOS and Windows. - The MacOS X version is being worked on as well. - Simplicity. There are currently 7 functions in the API, and we intend to keep this number low. - Freedom. libdvdcss is released under the General Public License, ensuring it will stay free, and used only for free software products. - Just better. Unlike most similar projects, libdvdcss doesn't require the region of your drive to be set.