The MacPorts Project

Skip to Content

MacPorts Portfiles

The MacPorts Project currently distributes 21866 ports, organized across 84 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2016-12-02 at 21:03:21 UTC.


Or view the complete ports list (21866 ports).


Query Results

Page 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14

1-50 of 662 Portfiles Selected

aamath 0.3 (source)
renders ASCII art from mathematical expressions
Licenses: GPL-2
Maintained by:
Categories: math textproc
Platforms: darwin
Dependencies: byacc flex ncurses readline

acl2 3.5 (source)
Applicative Common Lisp / A Computational Logic
Licenses: unknown
Maintained by:
Categories: math
Platforms: darwin
Dependencies: sbcl
Variants: ccl certify emacs nonstd regression

add 20140105 (source)
Fixed-point, full screen calculator.
Licenses: BSD
Maintained by:
Categories: math
Platforms: darwin
Dependencies: ncurses
Variants: universal

apophenia 20160308 (source)
A C library for statistical and scientific computing
Licenses: GPL-2
Maintained by:
Categories: math science
Platforms: darwin
Dependencies: gsl sqlite3
Variants: universal

aquaterm 1.1.1 (source)
AquaTerm is a viewer that displays vector graphics on Mac OS X
Licenses: BSD
Maintained by:
Categories: aqua math science
Platforms: darwin
Variants: universal

arowpp 0.1.2 (source)
AROW++ An implementation of the efficient confidence-weighted classifier
Licenses: BSD
Maintained by:
Categories: math textproc
Platforms: darwin
Variants: universal

arpack 3.3.0 (source)
Package for solving large-scale eigenvalue problems
Licenses: BSD
Maintained by:
Categories: math
Platforms: darwin
Dependencies: libgcc autoconf automake gcc6 libtool vecLibFort
Variants: accelerate atlas clang33 clang34 clang35 clang36 clang37 clang38 clang39 dragonegg33 dragonegg34 g95 gcc44 gcc45 gcc46 gcc47 gcc48 gcc49 gcc5 gcc6 gcc7 gfortran llvm mpich mpich_devel openblas openmpi openmpi_devel universal

asco 0.4.9 (source)
A SPICE Circuit Optimizer
Licenses: unknown
Maintained by:
Categories: science math
Platforms: darwin
Dependencies: autoconf automake
Variants: universal

aspcud 1.9.1 (source)
CUDF package dependency solver
Licenses: GPL-3
Maintained by:
Categories: devel math
Platforms: darwin
Dependencies: cmake boost clasp gringo re2c
Variants: debug universal

atlas 3.10.2 (source)
Portable optimal linear algebra software
Licenses: BSD
Maintained by:
Categories: math
Platforms: darwin
Dependencies: lbzip2
Variants: gcc49 gcc5 mpclang37 nofortran universal

bact 0.13 (source)
a Boosting Algorithm for Classification of Trees
Licenses: GPL
Maintained by:
Categories: math
Platforms: darwin
Variants: universal

bayon 0.1.1 (source)
a simple and fast hard-clustering tool
Licenses: GPL-2.1
Maintained by:
Categories: math textproc
Platforms: darwin
Dependencies: sparsehash
Variants: universal

bc 1.06.95 (source)
arbitrary precision numeric processing language
Licenses: GPL-2
Maintained by:
Categories: math
Platforms: darwin
Dependencies: lbzip2 libedit
Variants: libedit readline universal

bcv 2.2 (source)
command line number converter
Licenses: GPL-2
Maintained by:
Categories: math
Platforms: darwin

blitz 0.10 (source)
a C++ class library for scientific computing
Licenses: LGPL-3+ BSD Artistic-2
Maintained by:
Categories: math devel
Platforms: darwin
Dependencies: libgcc gcc6
Variants: dragonegg33 dragonegg34 g95 gcc44 gcc45 gcc46 gcc47 gcc48 gcc49 gcc5 gcc6 gcc7 universal

blitz-devel 0.10-20151126 (source)
a C++ class library for scientific computing
Licenses: LGPL-3+ BSD Artistic-2
Maintained by:
Categories: math devel
Platforms: darwin
Dependencies: mercurial libgcc autoconf automake gcc6 libtool
Variants: docs dragonegg33 dragonegg34 g95 gcc44 gcc45 gcc46 gcc47 gcc48 gcc49 gcc5 gcc6 gcc7 universal

blitzwave 0.7.1 (source)
C++ wavelet mini-library building on the blitz++ array template library
Licenses: GPL-2+
Maintained by:
Categories: math devel
Platforms: darwin
Dependencies: blitz
Variants: universal

bob 1.2.2 (source)
Obsolete port, replaced by py27-bob
Licenses: GPL-3
Maintained by:
Categories: science devel math
Platforms: darwin

boolector 1.4.1-376e6b0-110304 (source)
Boolector is an SMT solver for the theory of bit-vectors
Licenses: GPL-3
Maintained by:
Categories: math science
Platforms: darwin
Dependencies: picosat
Variants: universal

buddy 2.4 (source)
binary decision diagram package
Licenses: MIT
Maintained by:
Categories: math devel science
Platforms: darwin
Dependencies: autoconf automake libtool
Variants: universal

cadabra 1.33 (source)
A field theory approach to symbolic computer algebra
Licenses: GPL-3+
Maintained by:
Categories: math
Platforms: darwin
Dependencies: apple-gcc42 dvipng gmp gtkmm LiE modglue pcre pcrexx pkgconfig texlive-basic texlive-latex texlive-latex-recommended
Variants: gui texmacs universal

caffe 20150717 (source)
a fast framework for deep learning
Licenses: BSD
Maintained by:
Categories: math science
Platforms: darwin
Dependencies: boost gflags google-glog hdf5 leveldb lmdb OpenBLAS opencv protobuf-cpp py27-cython py27-dateutil py27-gflags py27-h5py py27-ipython py27-leveldb py27-matplotlib py27-networkx py27-nose py27-numpy py27-pandas py27-protobuf py27-scikit-image py27-scikit-learn py27-scipy python27 snappy szip wget
Variants: cpu cudnn gpu openblas python27 universal

calc 2.12.5.3 (source)
Arbitrary precision calculator
Licenses: LGPL-2.1
Maintained by:
Categories: math
Platforms: darwin
Dependencies: lbzip2 ncurses readline
Variants: universal

caml-gsl 0.6.0 (source)
Obsolete port, replaced by ocaml-gsl
Licenses: unknown
Maintained by:
Categories: math ml science
Platforms: darwin

ceres-solver 1.11.0 (source)
Library for modeling and solving large, complicated optimization problems.
Licenses: BSD
Maintained by:
Categories: math
Platforms: darwin
Dependencies: cmake eigen3 gflags google-glog metis SuiteSparse
Variants: debug universal

clasp 3.1.4 (source)
A conflict-driven nogood learning answer set solver
Licenses: GPL-2
Maintained by:
Categories: math
Platforms: darwin
Variants: universal

classias 1.1 (source)
a collection of machine-learning algorithms for classification
Licenses: BSD
Maintained by:
Categories: math textproc
Platforms: darwin
Variants: universal

cln 1.3.4 (source)
Class Library for Numbers
Licenses: GPL-2+
Maintained by:
Categories: math
Platforms: darwin
Dependencies: lbzip2 gmp
Variants: universal

cloog 0.18.4 (source)
CLooG, the Chunky Loop Generator
Licenses: LGPL-2.1+
Maintained by:
Categories: devel math
Platforms: darwin
Dependencies: isl gmp
Variants: osl universal

cloog-devel 0.18.3 (source)
Obsolete port, replaced by cloog
Licenses: LGPL-2.1+
Maintained by:
Categories: devel math
Platforms: darwin

cmsvlib 2013-04-19 (source)
Read and Write IDL SAVE files
Licenses: unknown
Maintained by:
Categories: math science
Platforms: darwin

coq 8.5pl3 (source)
Proof assistant for higher-order logic
Licenses: LGPL-2.1
Maintained by:
Categories: lang math
Platforms: darwin
Dependencies: camlp5 ocaml
Variants: coqide doc

crfpp 0.58 (source)
Yet Another CRF toolkit
Licenses: BSD LGPL-3+
Maintained by:
Categories: math textproc
Platforms: darwin
Dependencies: nkf
Variants: universal

crfpp-devel 0.55 (source)
Yet Another CRF toolkit
Licenses: BSD LGPL-3+
Maintained by:
Categories: math textproc
Platforms: darwin
Dependencies: nkf
Variants: universal

crfsuite 0.12.2 (source)
A fast implementation of Conditional Random Fields (CRFs)
Licenses: BSD
Maintained by:
Categories: math textproc
Platforms: darwin
Dependencies: autoconf automake liblbfgs libtool
Variants: universal

cusp 0.5.1 (source)
Generic Parallel Algorithms for Sparse Matrix and Graph
Licenses: Apache-2
Maintained by:
Categories: math science
Platforms: darwin

cvc4 1.4 (source)
An automated theorem prover for SMT problems
Licenses: BSD
Maintained by:
Categories: math devel
Platforms: darwin
Dependencies: gawk bash curl boost doxygen gmp
Variants: debug java universal

dap 3.7 (source)
small statistics and graphics package
Licenses: GPL-3+
Maintained by:
Categories: math
Platforms: darwin
Variants: universal

diehard 0.1 (source)
Marsaglia's Diehard Battery of Tests of Randomness
Licenses: none
Maintained by:
Categories: math
Platforms: darwin

djbfft 0.76 (source)
D.J. Bernstein's fast fourier transform library
Licenses: public-domain
Maintained by:
Categories: math
Platforms: darwin
Variants: universal

DoCon 2.11 (source)
DoCon is the Algebraic Domain Constructor
Licenses: unknown
Maintained by:
Categories: math devel
Platforms: darwin
Dependencies: unzip ghc
Variants: printable_doc universal

dolfin 2016.1.0 (source)
DOLFIN is a part of FEniCS
Licenses: LGPL-3+
Maintained by:
Categories: math
Platforms: darwin
Dependencies: cmake mpich-default armadillo eigen3 pkgconfig py27-ffc py27-ply python27 SuiteSparse vtk
Variants: cgal clang33 clang34 clang35 clang36 clang37 clang38 clang39 debug docs dragonegg33 dragonegg34 g95 gcc44 gcc45 gcc46 gcc47 gcc48 gcc49 gcc5 gcc6 gcc7 gfortran hdf5 llvm mpich mpich_devel openmpi openmpi_devel parmetis petsc petsc4py scotch slepc slepc4py suitesparse

drc-fir 3.0.0 (source)
DRC is a program used to generate correction filters for acoustic compensation
Licenses: unknown
Maintained by:
Categories: science math multimedia
Platforms: darwin

DSDP 5.8 (source)
DSDP is a open source implementation of an interior-point method for semidefinite programming
Licenses: Permissive
Maintained by:
Categories: math science
Platforms: darwin
Dependencies: unzip
Variants: atlas octave universal

dualist 0.3 (source)
An interactive machine learning system for building classifiers quickly.
Licenses: Apache-2
Maintained by:
Categories: java math textproc
Platforms: darwin
Dependencies: unzip play
Variants: mecab

e 0.02718 (source)
e is a command line expression evaluator.
Licenses: GPL-2
Maintained by:
Categories: math
Platforms: darwin

eigen 2.0.17 (source)
A C++ template library for linear algebra: vectors, matrices, and related algorithms.
Licenses: GPL-2+ LGPL-3+
Maintained by:
Categories: math science
Platforms: darwin
Dependencies: lbzip2 cmake
Variants: debug universal

eigen3 3.2.9 (source)
A C++ template library for linear algebra: vectors, matrices, and related algorithms.
Licenses: LGPL-3+ MPL-2
Maintained by:
Categories: math science
Platforms: darwin
Dependencies: lbzip2 cmake pkgconfig
Variants: blas clang33 clang34 clang35 clang36 clang37 clang38 clang39 debug doc dragonegg33 dragonegg34 g95 gcc44 gcc45 gcc46 gcc47 gcc48 gcc49 gcc5 gcc6 gcc7 gfortran llvm

eigen3-devel 3.3-rc1 (source)
A C++ template library for linear algebra: vectors, matrices, and related algorithms.
Licenses: LGPL-3+ MPL-2
Maintained by:
Categories: math science
Platforms: darwin
Dependencies: lbzip2 cmake pkgconfig
Variants: blas clang33 clang34 clang35 clang36 clang37 clang38 clang39 debug doc dragonegg33 dragonegg34 g95 gcc44 gcc45 gcc46 gcc47 gcc48 gcc49 gcc5 gcc6 gcc7 gfortran llvm

ent 20080128 (source)
Entropy calculator
Licenses: public-domain
Maintained by:
Categories: math security
Platforms: darwin
Dependencies: unzip
Variants: universal

Page 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14