Ports 搜索

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.

SEND is the implementation of RFC3971 Secure Neighbor Discovery (SEND). SEND cryptographically secures the IPv6 neighbor discovery protocol, countering the threats discussed in RFC3756 (IPv6 Neighbor Discovery (ND) Trust Models and Threats). The implementation is a new version of DoCoMo's SEND (send_0.2) that was implemented completely in user space. Novelty in send_0.3 is the native SEND API that avoids the need for the use of netgraph and BPF, which makes send_0.3 portable over different BSD platforms and significantlly more efficient. Also included in the distribution are implementations of RFC3972 Cryptographically Generated Addresses (CGAs) and RFC3779 X.509 Extensions for IP Addresses and AS Identifiers.

Bitflu is a free BitTorrent client. The client was written in Perl and is designed to run as a daemon (7x24h , like mlnet) on Linux, *BSD and maybe even OSX. * Multiple downloads * Designed to run as a daemon/No GUI: You can connect to the client using the telnet or HTTP interface * Security: The client can chroot itself and drop privileges * Bandwith shaping (currently only upload) * Crash-Proof design: Crashes or a full filesystem will never corrupt your downloads again :-) * Non-Threading/(almost)Non-Forking design: All connections are handled in non-blocking state using a dynamic select loop