Ports 搜索

This dockapp monitors your incoming mail in 1 or more mailboxes in mbox format.

Basically, XBuffy (and Xmultibiff) is a XBiff-type program with a lot of new options. With XBuffy you can watch multiple mailboxes. When new mail arrives, you can have a pop up window showing the From: and Subject: lines. You can also set it up to launch your favorite mail reader when you click on a box. Currently. xbuffy is only capable of watching mailboxes with the standard mailbox format (messages separated with a From line). This is version 3.2.1.

SpamProbe Fast, intelligent, automatic spam detector using Bayesian analysis of word counts in spam and non-spam email. Intended for use with procmail to filter inbound email. No manual rule creation required.

Gnome Gmail Notifier项目旨在提供一个稳定、高效的GTK+2.0应用程序，它可以定期地 检查用户gmail收件箱。 这个Notifier会作为系统托盘图标显示在GNOME2桌面上，当用户收到新邮件时，弹出一个 小气球通知。 - Florent Thoumie flz@FreeBSD.org

RPy is a very simple, yet robust, Python interface to the R Programming Language. It can manage all kinds of R objects and can execute arbitrary R functions (including the graphic functions). All the errors from the R language are converted to Python exceptions. Any module that later were installed on the R system, can easily be used from within Python, without introducing any changes. rpy2 is a redesign and rewrite of rpy. It is providing a low-level interface to R, a proposed high-level interface, including wrappers to graphical libraries, as well as R-like structures and functions.

This is a component of SPARK 2016. Those looking for the deductive program verification platform known as why3 should refer to math/why3 instead.

LabPlot is a program for two- and three-dimensional graphical presentation of data sets and functions. LabPlot allows you to work with multiple plots which each can have multiple graphs. The graphs can be produced from data or from functions.

Library of elementary mathematical functions, probability and elliptic integrals in 80-bit (x86) or 128-bit long double precision.

A collection of some tests commonly used for identifying outliers: - Chi-squared test for outlier - Test for outlying or inlying variance - Dixon tests for outlier - Grubbs tests for one or two outliers in data sample - Find value with largest difference from the mean - Critical values and p-values for Cochran outlying variance test - Critical values and p-values for Dixon test - Calculate critical values and p-values for Grubbs test - Interpolate tabularized distribution - Remove the value(s) most differing from the mean - Calculate scores of the sample

The Zarith library implements arithmetic and logical operations over arbitrary precision numbers. It uses GMP to efficiently implement arithmetic over large numbers. Small integers are represented as Caml unboxed integers for speed and space economy.