| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
| |
PR: 142949
Submitted by: Stephen Montgomery-Smith <stephen@missouri.edu> (maintainer)
Notes:
svn path=/head/; revision=248319
|
|
|
|
|
|
|
|
| |
PR: 142952
Submitted by: "Pedro F. Giffuni" <giffunip@tutopia.com> (maintainer)
Notes:
svn path=/head/; revision=248308
|
|
|
|
| |
Notes:
svn path=/head/; revision=248205
|
|
|
|
|
|
|
| |
Spotted by: pav
Notes:
svn path=/head/; revision=248192
|
|
|
|
| |
Notes:
svn path=/head/; revision=248150
|
|
|
|
| |
Notes:
svn path=/head/; revision=248149
|
|
|
|
|
|
|
|
|
| |
This is only critical bugfix release, no functional changes
Approved by: miwi, tabthorpe (mentors implicit)
Notes:
svn path=/head/; revision=248073
|
|
|
|
|
|
|
|
| |
PR: ports/142896
Submitted by: Stephen Montgomery-Smith <stephen@missouri.edu> (maintainer)
Notes:
svn path=/head/; revision=248069
|
|
|
|
|
|
|
|
| |
Reported by: pointyhat
Pointy hat to: wen
Notes:
svn path=/head/; revision=248039
|
|
|
|
|
|
|
| |
- Remove unneeded patches.
Notes:
svn path=/head/; revision=248008
|
|
|
|
|
|
|
|
| |
PR: ports/142894
Submitted by: Stephen Montgomery-Smith <stephen@missouri.edu> (maintainer)
Notes:
svn path=/head/; revision=248005
|
|
|
|
|
|
|
|
| |
PR: ports/142848
Submitted by: Stephen Montgomery-Smith <stephen@missouri.edu> (maintainer)
Notes:
svn path=/head/; revision=247930
|
|
|
|
|
|
|
| |
Bump PORTREVISION.
Notes:
svn path=/head/; revision=247864
|
|
|
|
|
|
|
|
| |
PR: 142822
Submitted by: bf <bf1783@gmail.com>
Notes:
svn path=/head/; revision=247863
|
|
|
|
|
|
|
| |
Submitted by: dikshie@sfc.wide.ad.jp (maintainer,via Email)
Notes:
svn path=/head/; revision=247850
|
|
|
|
|
|
|
|
| |
PR: ports/131225
Submitted by: douglas steinwand <dzs-pr@dzs.fx.org>
Notes:
svn path=/head/; revision=247841
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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).
WWW: http://haskell.org/haskellwiki/vector-space
PR: ports/142492
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247746
|
|
|
|
| |
Notes:
svn path=/head/; revision=247606
|
|
|
|
|
|
|
|
|
| |
PR: ports/142512
Submitted by: Wen Heping <myself>
Approved by: maintainer
Notes:
svn path=/head/; revision=247509
|
|
|
|
|
|
|
| |
he has had one or more maintainer-timeouts on in the past 12 months.
Notes:
svn path=/head/; revision=247508
|
|
|
|
|
|
|
| |
Reported by: pointyhat
Notes:
svn path=/head/; revision=247488
|
|
|
|
|
|
|
| |
- Respect CC
Notes:
svn path=/head/; revision=247436
|
|
|
|
| |
Notes:
svn path=/head/; revision=247413
|
|
|
|
| |
Notes:
svn path=/head/; revision=247408
|
|
|
|
| |
Notes:
svn path=/head/; revision=247283
|
|
|
|
| |
Notes:
svn path=/head/; revision=247252
|
|
|
|
| |
Notes:
svn path=/head/; revision=247183
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
useful in statistics. Our focus is on high performance, numerical
robustness, and use of good algorithms. Where possible, we provide
references to the statistical literature.
WWW: http://darcs.serpentine.com/statistics
PR: ports/142294
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247125
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
numbers that follow either a uniform or normal distribution. The
generated numbers are suitable for use in statistical applications.
The uniform PRNG uses Marsaglia's MWC256 (also known as MWC8222)
multiply-with-carry generator, which has a period of 2^8222 and
fares well in tests of randomness. It is also extremely fast,
between 2 and 3 times faster than the Mersenne Twister.
WWW: http://darcs.serpentine.com/mwc-random
PR: ports/142293
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247119
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
in terms of their distributions by using a monad.
The monad is similar to the List monad for non-deterministic computations,
but extends the List monad by a measure of probability.
Small interface to R plotting.
WWW: http://haskell.org/haskellwiki/Probabilistic_Functional_Programming
PR: ports/142292
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247118
|
|
|
|
|
|
|
|
|
|
|
|
| |
Instances for Float and Double.
WWW: http://hackage.haskell.org/package/erf
PR: ports/142284
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247108
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.
WWW: http://wiki.portal.chalmers.se/agda/
PR: ports/142141
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247095
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
families, which are similar to Haskell's GADTs, but they can be indexed by
values and not just types. It also has parameterised modules, mixfix operators,
Unicode characters, and an interactive Emacs interface (the type checker can
assist in the development of your code).
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Lof. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
WWW: http://wiki.portal.chalmers.se/agda/
PR: ports/142141
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247094
|
|
|
|
|
|
|
|
| |
PR: ports/142231
Submitted by: Wen Heping <wen@FreeBSD.org>
Notes:
svn path=/head/; revision=247044
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
ideas from category theory. Notable bits include: comonads,
adjunctions, and various recursion schemes a'la the research paper
"Functional Programming with Bananas, Lenses, Envelopes and
Barbed Wire".
WWW: http://comonad.com/reader/
PR: ports/142142
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Notes:
svn path=/head/; revision=247024
|
|
|
|
| |
Notes:
svn path=/head/; revision=246990
|
|
|
|
| |
Notes:
svn path=/head/; revision=246983
|
|
|
|
|
|
|
|
|
| |
Changes: http://cpansearch.perl.org/src/ILYAZ/Math-Pari-2.01080603/Changes
PR: ports/142001
Submitted by: Alex Deiter <alex.deiter xx gmail.com>
Notes:
svn path=/head/; revision=246936
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Teach about amd64, to detect Not a Number flag, thus enabling Qhull
support with CSA;
- Disable detection of f77 by cmake unless WITH_FORTRAN is defined.
Reported by: pointyhat via Pav
Notes:
svn path=/head/; revision=246900
|
|
|
|
|
|
|
| |
Notified by: Pedro F. Giffuni <giffunip (at) yahoo.com>
Notes:
svn path=/head/; revision=246881
|
|
|
|
| |
Notes:
svn path=/head/; revision=246861
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Notes:
- support of Gnome2 and VGAlib are now deprecated;
- support of Qt added;
- plrender is also deprecated, but we force it to build.
Many more options could be enabled, if someone needs them.
Notes:
svn path=/head/; revision=246860
|
|
|
|
| |
Notes:
svn path=/head/; revision=246831
|
|
|
|
| |
Notes:
svn path=/head/; revision=246806
|
|
|
|
| |
Notes:
svn path=/head/; revision=246796
|
|
|
|
|
|
|
|
| |
PR: ports/142070
Submitted by: bf <bf1783@gmail.com> (maintainer)
Notes:
svn path=/head/; revision=246780
|
|
|
|
|
|
|
| |
Submitted by: maintainer via private mail
Notes:
svn path=/head/; revision=246723
|
|
|
|
|
|
|
|
|
|
|
|
| |
Changes:
http://cpansearch.perl.org/src/AMS/Math-Random-MT-1.10/Changes
PR: 140207
Submitted by: ehaupt@
Approved by: maintainer timeout
Notes:
svn path=/head/; revision=246669
|
|
|
|
| |
Notes:
svn path=/head/; revision=246607
|
|
|
|
| |
Notes:
svn path=/head/; revision=246603
|