Ports Search

sortmail - sort email messages by date/time sortmail is a front end for decomposemail(1) and recom- posemail(1). Each mailbox argument is disassembled into its component messages, then these messages are reassem- bled into new mailboxes based on command line selection criteria. Some additional functionality is provided, such as backup copies, recursion, etc. Software written by: Daniel E. Singer (a.k.a. Toolman) Lasse L. Johnsen lasse@freebsdcluster.org

dlmodeler is a set of user-friendly functions to simplify the state-space modelling, fitting, analysis and forecasting of Generalized Dynamic Linear Models (DLMs). It includes functions to name and extract individual components of a DLM, build classical seasonal time-series models (monthly, quarterly, yearly, etc. with calendar adjustments) and provides a unified interface compatible with other state-space packages including: dlm, FKF and KFAS.

The MPFR library is a C library for multiple-precision floating-point computations with exact rounding (also called correct rounding). It is based on the GMP multiple-precision library. The main goal of MPFR is to provide a library for multiple-precision floating-point computation which is both efficient and has a well-defined semantics. It copies the good ideas from the ANSI/IEEE-754 standard for double-precision floating-point arithmetic (53-bit mantissa).

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. Alt-Ergo is compact, safe, and modular. Each component is described by a small set of inference rules and is implemented as an Ocaml functor.

Minpack includes software for solving nonlinear equations and nonlinear least squares problems. Five algorithmic paths each include a core subroutine and an easy-to-use driver. The algorithms proceed either from an analytic specification of the Jacobian matrix or directly from the problem functions. The paths include facilities for systems of equations with a banded Jacobian matrix, for least squares problems with a large amount of data, and for checking the consistency of the Jacobian matrix with the functions

JAGS is Just Another Gibbs Sampler -- a program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation. The functionality of JAGS is based on the BUGS program created by the MRC Biostatistics Unit (http://www.mrc-bsu.cam.ac.uk/). There is a short manual that describes the differences between JAGS and BUGS. Some of the BUGS examples have been modified to run with JAGS, and have been turned into a test suite.

The octave-forge package is the result of The GNU Octave Repositry project, which is intended to be a central location for custom scripts, functions and extensions for GNU Octave. contains the source for all the functions plus build and install scripts. This is bim. Package for solving Diffusion Advection Reaction (DAR) Partial Differential Equaltions based on the Finite Volume Scharfetter-Gummel (FVSG) method a.k.a Box Integration Method (BIM)

The octave-forge package is the result of The GNU Octave Repositry project, which is intended to be a central location for custom scripts, functions and extensions for GNU Octave. contains the source for all the functions plus build and install scripts. This is odebvp. To approximate the solution of the boundary-value problem y''=p(x)*y' + q(x)*y + r(x), a<=x<=b, y(a)=alpha, y(b)=beta by the linear finite-diffence method.

This module was adapted from Math::Vector. It uses most of the same algorithms, and currently preserves the same names as the original functions, though some aliases have been added to make the interface more natural. The "object" for the object oriented calling style is a blessed array reference which contains a vector of the form [x,y,z]. Methods will typically return a list.

The Math::VectorReal package defines a 3D mathematical "vector", in a way that is compatible with the previous CPAN module Math::MatrixReal. However it provides a more vector oriented set of mathematical functions and overload operators, to the MatrixReal package. For example the normal perl string functions "x" and "." have been overloaded to allow vector cross and dot product operations. Vector math formula thus looks like vector math formula in perl programs using this package.