Ports Search

Automatically derive Lenses for your data type for use with Data.Lens.

Used to be Haskell 98 Lenses.

A type class for the error function, erf, and related functions for Haskell. Instances for Float and Double.

Utilities for dealing with IEEE floating point numbers, ported from the Tango math library; approximate and exact equality comparisons for general types.

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.

vector-space provides classes and generic operations for vector spaces and affine spaces in Haskell. It also defines a type of infinite towers of generalized derivatives. A generalized derivative is a linear transformation rather than one of the common concrete representations (scalars, vectors, matrices, etc).

gdcalc is a financial, statistics, scientific and programmers calculator for Unix. The GUI was written with glade(1) and uses the Gnome/Gtk+ toolkit - so it may well be compatible with themes and other whiz-bang features of those systems. gdcalc has both Algebraic notation (ie. conventional, TI or Casio style) and Reverse Polish Notation (RPN or Hewlett-Packard style). If you've not heard of RPN before, you are probably familiar with algebraic calculators. Very briefly, while simpler and more natural to use, RPN calculators need some study eg. they have an Enter key instead of the equals key.

Givaro is a C++ library for arithmetic and algebraic computations. Its main features are implementations of the basic arithmetic of many mathematical entities: prime fields, extension fields, finite fields, finite rings, polynomials, algebraic numbers, arbitrary precision integers and rationals (via C++ wrappers over gmp). It also provides data structures and templated classes for the manipulation of basic algebraic objects, such as vectors, matrices (dense, sparse, and structured), univariate polynomials, and recursive multivariate polynomials.

Although it works best with the TeX fonts installed, jsMath canfall back on a collection of image-based fonts (which can still be scaled or printed at high resolution). This is a pack of those.

GMP-ECM is a program to factor integers using the Elliptic Curve Method (ECM), based on the GNU MP multiprecision library.