tool for Celestial Mechanics investigations

xorsa

tool for Celestial Mechanics investigations

pari-seadata

PARI/GP Computer Algebra System modular polynomials (seadata)

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers, etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

ucimf-sunpinyin

ucimf wrapper for Sunpinyin IM engine

ucimf-sunpinyin is a wrapper for Sunpinyin IM engine for the Linux framebuffer console input method framework.

libghc-repline-prof

Haskeline wrapper for GHCi-like REPL interfaces.; profiling libraries

Haskeline wrapper for GHCi-like REPL interfaces. Composable with normal mtl transformers.

libgeronimo-ejb-3.0-spec-java

Geronimo API implementation of the EJB 3.0 spec

The goal of the Geronimo project is to produce a server runtime framework that pulls together the best Open Source alternatives to create runtimes that meet the needs of developers and system administrators. Its most popular distribution is a fully certified Java EE 5 application server runtime.

roguenarok

versatile and scalable algorithm for rogue taxon identification

RogueNaRok is a versatile and scalable algorithm for rogue taxon identification. It also includes implementations of the maximum agreement subtree, leaf stability index and taxonomic instability index.