MPIR is an open source multiprecision integer (bignum) library forked from the
GMP (GNU Multi Precision) project. It consists of much code from past GMP
releases, in combination with much original contributed code.
MPIR is constructed by a developer and vendor friendly community of
professional and amateur mathematicians, computer scientists and hobbyists.
WWW: http://www.mpir.org
The Helsinki Finite-State Transducer toolkit is intended for processing
natural language morphologies. The toolkit is demonstrated by wide-coverage
implementations of a number of languages of varying morphological complexity.
2014-06-22 www/phpbb-devel: Use www/phpbb3 instead
2014-06-22 math/polymake: Does not build with any supported version of Perl
2014-06-22 www/phpsysinfo-dev: Use www/phpsysinfo instead
This class covers most functionality of UNIDATA's UDUNITS Library, however,
with a more sophisticated handling of string expressions.
UDUNITS always decomposes units into the four base units and discards the
original string expressions. Therefore, 'hPa' always becomes '100
kg.m-1.sec-1', and 'day' always becomes '86400 sec'. On the other hand, this
library tries to keep the original expressions as much as possible by default,
while allowing partial to complete decompositions if needed.
WWW: http://www.gfd-dennou.org/arch/ruby/products/numru-units/
PR: ports/190202
Submitted by: Shin-ya MURAKAMI <murashin@gfd-dennou.org>
The primary motivation for adding why3 is to support the upcoming SPARK
2014 port. However, SPARK 2014 requires a custom version. In time the
customizations should make it upstream, but currently the stock version
cannot be used to build SPARK. They are also licensed differently (LGPL2
for stock, GPLv3 for SPARK version).
Rather than force people that find why3 useful on their own to accept a
custom version, both are offered although they currently conflict.
Why3 has optional dependencies on coq, isabelle, and frama-c, and all
three have issus:
* coq rebuilds its libraries in $LOCALBASE, could be issue with coq
* isabella currently has a broken dependency (sjsml) and only for i386
when it's not. Updating to 2013-2 version failed, as did trying to
build it with polyml instead of sjsml
* frama-c is fine, but the plugin code in why3 is still experimental
and upstream recommends that it not be used.
==============================================================
Why3 is a platform for deductive program verification. It provides a rich
language for specification and programming, called WhyML, and relies on
external theorem provers, both automated and interactive, to discharge
verification conditions. Why3 comes with a standard library of logical
theories (integer and real arithmetic, Boolean operations, sets and maps,
etc.) and basic programming data structures (arrays, queues, hash tables,
etc.). A user can write WhyML programs directly and get correct-by-
construction OCaml programs through an automated extraction mechanism.
WhyML is also used as an intermediate language for the verification of C,
Java, or Ada programs.
Why3 is a complete reimplementation of the former Why platform. Among the
new features are: numerous extensions to the input language, a new
architecture for calling external provers, and a well-designed API,
allowing to use Why3 as a software library. An important emphasis is put
on modularity and genericity, giving the end user a possibility to easily
reuse Why3 formalizations or to add support for a new external prover if
wanted.
This is a new requirement for the latest veersion of alt-ergo.
================================================================
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.
WWW: http://forge.ocamlcore.org/projects/zarith
Foma is a compiler, programming language, and C library for constructing
finite-state automata and transducers for various uses. It has specific
support for many natural language processing applications such as producing
morphological analyzers. Although NLP applications are probably the main use
of foma, it is sufficiently generic to use for a large number of purposes.
2014-04-12 net/pvm++: Unmaintained since 2001
2014-04-12 devel/ixlib: Unmaintained since 2001
2014-04-12 mail/althea: Unmaintained since 2001
2014-04-12 graphics/claraocr: Unmaintained since 2001
2014-04-12 graphics/qvplay: Unmaintained since 2001
2014-04-12 print/guitartex: Unmaintained since 2001
2014-04-12 print/pnm2ppa: Unmaintained since 2001
2014-04-12 graphics/opendis: Unmaintained since 2001
2014-04-12 net/gnome-mud: Unmaintained since 2001
2014-04-12 graphics/maverik: Unmaintained since 2001
2014-04-12 biology/rasmol: Unmaintained since 2001
2014-04-12 mail/mail2procmailrc: Unmaintained since 2001
2014-04-12 science/felt: Unmaintained since 2001
2014-04-12 textproc/pardiff: Unmaintained since 2001
2014-04-12 lang/klone: Unmaintained since 2001
2014-04-12 net/rmsg: Unmaintained since 2001
2014-04-12 net/sharity-light: Unmaintained since 2001
2014-04-12 biology/genpak: Unmaintained since 2001
2014-04-12 net/forg: Unmaintained since 2001
2014-04-12 misc/txt2regex: Unmaintained since 2001
2014-04-12 textproc/ipdf: Unmaintained since 2001
2014-04-12 graphics/plotmtv: Unmaintained since 2001
2014-04-12 devel/happydoc: Unmaintained since 2001
2014-04-12 print/cpp2latex: Unmaintained since 2001
2014-04-12 graphics/svg2swf: Unmaintained since 2001
2014-04-12 devel/flick: Unmaintained since 2001
2014-04-12 mail/smail: Unmaintained since 2001
2014-04-12 net/net-http: Unmaintained since 2001
2014-04-12 security/cfv: Unmaintained since 2001
2014-04-12 graphics/camediaplay: Unmaintained since 2001
2014-04-12 math/umatrix: Unmaintained since 2001
2014-03-10 www/p5-CGI-modules: No more public distfiles
2014-04-10 www/p5-WWW-Link: Depends on expired www/p5-CGI-modules
2014-03-10 www/sbox-dtc: No more public distfiles
2014-04-10 sysutils/dtc: Depends on expired www/sbox-dtc
2014-03-10 textproc/glimpse: No more public distfiles
2014-04-10 ftp/ftplocate: Depends on expired textproc/glimpse
2014-04-10 misc/tkman: Depends on expired textproc/glimpse
2014-04-09 devel/asl: Unmaintained since 1997
2014-04-09 net/pcnfsd: Unmaintained since 1997
2014-04-10 cad/chipmunk: Unmaintained since 1999
2014-04-10 graphics/comix: Insists on installing in /usr/local, and uses nautilus2 which is deprecated.
2014-04-10 www/mambo: Broken for more than 6 months
2014-04-10 devel/lua-rds-parser: Broken for more than 6 months
2014-04-10 editors/the: Unmaintained since 1999
2014-04-10 japanese/exmh2: Unmaintained since 1999
2014-04-10 net/freewais-sf: Unmaintained since 1999
2014-04-10 editors/elvis: Unmaintained since 1999
2014-04-10 japanese/sed: Unmaintained since 1999
2014-04-10 x11-fm/xfm: Unmaintained since 1999
2014-04-10 print/rtf2latex: Unmaintained since 1999
2014-04-10 graphics/fbm: Unmaintained since 1999
2014-04-11 devel/p5-Penguin-Easy: Unmaintained since 2000
2014-04-11 emulators/prodosemu: Unmaintained since 2000
2014-04-11 security/gtkportscan: Unmaintained since 2000
2014-04-11 graphics/xmfract: Unmaintained since 2000
2014-04-11 databases/xmbase-grok: Unmaintained since 2000
2014-04-11 emulators/svr4_base: Unmaintained since 2000
2014-04-11 math/freefem: Unmaintained since 2000
2014-04-11 graphics/tiff2png: Unmaintained since 2000
2014-04-11 math/wingz: Unmaintained since 2000
2014-04-11 lang/STk: Unmaintained since 2000
2014-04-11 graphics/kdc2tiff: Unmaintained since 2000
2014-04-11 math/xlispstat: Unmaintained since 2000
2014-04-11 databases/typhoon: Unmaintained since 2000
2014-04-11 graphics/dc20ctrl: Unmaintained since 2000
2014-04-11 www/fhttpd: Unmaintained since 2000
2014-04-11 graphics/xmorph: Unmaintained since 2000
2014-04-11 editors/axe: Unmaintained since 2000
2014-04-11 www/cgic: Unmaintained since 2000
2014-03-27 audio/pysol-sound-server: Broken, abondonware, use pysolfc
2014-03-27 games/pysol-cardsets: Broken, abondonware, use pysolfc
2014-03-27 games/pysol-music: Broken, abondonware, use pysolfc
2014-03-27 games/pysol: Broken, abondonware, use pysolfc
2014-03-28 devel/ros_tutorials: Depends on expiring devel/ros_comm
2014-03-28 math/ros-geometry: Depends on expiring devel/ros_comm
2014-03-28 devel/ros-nxt: Depends on expiring devel/ros_comm
2014-03-28 devel/ros-rx: Depends on expiring devel/ros_comm
2014-03-28 devel/R-cran-vcd: New port without proper maintainer
2014-03-28 devel/ros-documentation: Depends on expiring devel/ros_comm
2014-03-28 devel/ros-common_msgs: Depends on expiring devel/ros_comm
2014-03-28 devel/ros_comm: Broken for more than 6 months
1/2/4-byte Integer, single/double-precision Real/Complex, and Ruby Object. This
extension library incorporates fast calculation and easy manipulation of large
numerical arrays into the Ruby language. NArray has features similar to NumPy,
but NArray has vector and matrix subclasses.
WWW: http://narray.rubyforge.org/
PR: ports/187917
Submitted by: Shin-ya MURAKAMI <murashin@gfd-dennou.org>
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 divand.
This is a powerful Computer-Algebra System written in it's own version of
LISP with quite a long history behind it.
PR: ports/186855
Submitted by: Pedro Giffuni <giffunip@tutopia.com>
base representation than normal. In base n arithmetic you have n
symbols which have a representation. I was going to call them
"glyphs", but being text strings they are not really. On Tye McQueen's
whimsical suggestion I settled on the name Math::Fleximal, the set of
text representations is called a "flex", and the representation of
individual digits are the "flecks". These names are somewhat
unofficial...
This allows you to do basic arithmetic using whatever digits you want,
and to convert from one to another.
WWW: http://search.cpan.org/dist/Math-Fleximal/
Submitted by: Matthew Seaman <matthew@FreeBSD.org>
It's dedicated to trading software developers requiring to perform technical
analysis of financial market data. Alongside many indicators like ADX, MACD,
RSI, Stochastic, TRIX the candlestick pattern recognition and several vector
arithmetic and algebraic functions are present.
WWW: http://pecl.php.net/package/trader/
PR: ports/186226
Submitted by: Jim Ohlstein <jim@ohlste.in>
adds support for MEX compilation, adds a man page, and improves the user
interface using auto-admin tools.
PR: ports/184607
Submitted by: Jason Bacon <jwbacon (at) tds.net>
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 image-acquisition.
This is a port of the new VTK 6.x series. It is an early effort which should
be used with care. Python support is present but commented out, pending some
more thorough test.
WWW: http://vtk.org/
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.
OpenFst is a library for constructing, combining, optimizing, and
searching weighted finite-state transducers (FSTs). Weighted finite-state
transducers are automata where each transition has an input label, an
output label, and a weight. The more familiar finite-state acceptor
is represented as a transducer with each transition's input and output
label equal. Finite-state acceptors are used to represent sets of
strings (specifically, regular or rational sets); finite-state transducers
are used to represent binary relations between pairs of strings
(specifically, rational transductions). The weights can be used to represent
the cost of taking a particular transition.
- Support JIT compilation using Clang/LLVM 3.3.
- Add desktop entry.
- Remove math/freemat-mpi. It has been marked IGNORE for almost 7 years
since the removal of MPI support in FreeMat 3.0.
2013-12-22 devel/ruby-cvs: Broken for more than 6 month
2013-12-22 devel/hs-reactive: Broken for more than 6 month
2013-12-22 databases/rubygem-delayed_job_data_mapper: Broken for more than 6 month
2013-12-22 graphics/xmagv: Broken for more than 6 month
2013-12-22 lang/slib-gauche: Broken for more than 6 month
2013-12-22 graphics/f-spot: Broken for more than 6 month
2013-12-22 sysutils/linux-megamgr: Broken for more than 6 month
2013-12-22 games/linux-savage-samuraiwars: Broken for more than 6 month
2013-12-22 ftp/gftp: Broken for more than 6 month
2013-12-22 devel/hs-DeepArrow: Broken for more than 6 month
2013-12-22 converters/py-svglib: Broken for more than 6 month
2013-12-22 converters/p5-Unicode-Lite: Broken for more than 6 month
2013-12-22 mail/squirrelmail-calendar_sql_backend-plugin: Broken for more than 6 month
2013-12-22 finance/quantlib: Broken for more than 6 month
2013-12-22 games/xkobo: Broken for more than 6 month
2013-12-22 games/quake3-rq3: Broken for more than 6 month
2013-12-22 math/fbm: No new release since 2004, new supported upstream
Fastcluster provides Python functions for hierarchical clustering. It generates
hierarchical clusters from distance matrices or from vector data.
Part of this module is intended to replace the functions
linkage, single, complete, average, weighted, centroid, median, ward
in the module scipy.cluster.hierarchy with the same functionality but much
faster algorithms. Moreover, the function 'linkage_vector' provides
memory-efficient clustering for vector data.
The interface is very similar to MATLAB's Statistics Toolbox API to make code
easier to port from MATLAB to Python/Numpy. The core implementation of this
library is in C++ for efficiency.
WWW: http://danifold.net/fastcluster.html
PR: ports/184931
Submitted by: Johannes Jost Meixner <xmj chaot.net>
Mate is a lite desktop forked from gnome2.
Most of the work is done by Jeremy Messenger (mezz@). The only thing I did
was update a few ports to later 1.6 release and attempting to keep up with
ports infra changes. Resulting bugs are all mine.
Mate is a sort of replacement for Gnome 2. So people wanting to keep a
Gnome 2 like desktop should switch. Gnome 2 will be replaced by Gnome 3
in the near future. This switch will be announce with a transition time
so people have more time to switch if they haven't already.
This release was made possible by everyone that send friendly pokes to
keep mate on my mind.
Approved by: portmgr (bapt)
Statsmodels is a Python package that provides a complement to scipy for
statistical computations including descriptive statistics and estimation and
inference for statistical models.
Main Features:
* linear regression models: GLS (including WLS and LS aith AR errors) and OLS.
* glm: Generalized linear models with support for all of the one-parameter
exponential family distributions.
* discrete: regression with discrete dependent variables, including Logit,
Probit, MNLogit, Poisson, based on maximum likelihood estimators
* rlm: Robust linear models with support for several M-estimators.
* tsa: models for time series analysis - univariate: AR, ARIMA; multivariate:
VAR and structural VAR
* nonparametric: (Univariate) kernel density estimators
* datasets: Datasets to be distributed and used for examples and in testing.
* stats: a wide range of statistical tests, diagnostics and specification tests
* iolib: Tools for reading Stata .dta files into numpy arrays, printing table
output to ascii, latex, and html
* miscellaneous models
* sandbox: statsmodels contains a sandbox folder with code in various stages of
* developement and testing which is not considered "production ready", including
Mixed models, GARCH and GMM estimators, kernel regression, panel data models.
WWW: https://www.github.com/statsmodels/statsmodels
PR: ports/183932
Submitted by: Johannes Jost Meixner <xmj chaot.net>
Patsy is a Python library for describing statistical models (especially linear
models, or models that have a linear component) and building design matrices.
Patsy brings the convenience of R "formulas" to Python.
WWW: https://www.github.com/pydata/patsy
PR: ports/183870
Submitted by: Johannes Jost Meixner <xmj chaot.net>
linear models (state space models).
Includes functions for Kalman filtering and smoothing.
Estimation of variance matrices can be performed using
the EM algorithm in case of Gaussian models.
WWW: http://cran.r-project.org/web/packages/sspir/
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 ltfat.
The Large Time/Frequency Analysis Toolbox (LTFAT) is a Matlab/Octave toolbox
for working with time-frequency analysis, wavelets and signal processing. It
is intended both as an educational and a computational tool. The toolbox
provides a large number of linear transforms including Gabor and wavelet
transforms along with routines for constructing windows (filter prototypes)
and routines for manipulating coefficients.
