Ports Search

Kterm is a xterm replacement with Japanese (Kanji) support. It also understands ANSI color sequences. This version is 6.2.0, available from the X11R6 contrib tape. Also included is support for Xaw3d arrow-style scrollbars and neXtaw NeXT-style scrollbars. You can now hold down the arrow buttons to scroll continuously. And also included kterm background-wallpaper patch. This patch is made by Junji Takagi <takagi@an.ip.titech.ac.jp>, and revised by Takuji Iimura <uirou@mma.club.uec.ac.jp>. Finally, this port is made by Satoshi Asami <asami@cs.berkeley.edu>, and revised by Shigeyuki Fukushima <shige@FreeBSD.ORG>.

``Yasou'' (``wildflower'' in English) picture book was produced by SAS. This file is converted from the original picture book into JIS X 4081 format (that is a subset of EPWING V1) by FreePWING. So this can be used by EPWING viewers on Unix and the other OS (e.g. Windows or MacOS). o URL for the original picture book: http://www.naoe.hiroshima-u.ac.jp/~hirata/yasou/ http://www.vector.co.jp/vpack/filearea/dos/edu/science/plant/yasou/ o URL for this converted picture book:

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.