Name | Version | Description |
---|---|---|

aamath | 0.3 | renders ASCII art from mathematical expressions |

acl2 | 8.2 | Applicative Common Lisp / A Computational Logic |

add | 20180701 | Fixed-point, full screen calculator. |

ADOL-C | 2.6.3 | Algorithmic Differentiation Library for C/C++ |

alglib | 3.15.0 | a cross-platform numerical analysis and data processing library |

apophenia | 20160308 | A C library for statistical and scientific computing |

aquaterm | 1.1.1 | AquaTerm is a viewer that displays vector graphics on Mac OS X |

arowpp | 0.1.2 | AROW++ An implementation of the efficient confidence-weighted classifier |

arpack | 3.7.0 | Package for solving large-scale eigenvalue problems |

asco | 0.4.9 | A SPICE Circuit Optimizer |

aspcud | 1.9.1 | CUDF package dependency solver |

atlas | 3.10.2 | Portable optimal linear algebra software |

bact | 0.13 | a Boosting Algorithm for Classification of Trees |

bayon | 0.1.1 | a simple and fast hard-clustering tool |

bc | 1.07.1 | arbitrary precision numeric processing language |

bcv | 2.2 | command line number converter |

blitz | 0.10 | a C++ class library for scientific computing |

blitz-devel | 0.10-20151126 | a C++ class library for scientific computing |

blitzwave | 0.8.0 | C++ wavelet mini-library building on the blitz++ array template library |

boolector | 1.4.1-376e6b0-110304 | Boolector is an SMT solver for the theory of bit-vectors |

buddy | 2.4 | binary decision diagram package |

cadabra | 1.33 | Obsolete port, replaced by cadabra2 |

cadabra2 | 2.2.7 | A field theory approach to symbolic computer algebra |

caffe | 20170817 | a fast framework for deep learning |

calc | 2.12.6.8 | Arbitrary precision calculator |

casadi | 3.3.0 | CasADi is a symbolic framework for numeric optimization |

ceres-solver | 1.14.0 | Library for modeling and solving large, complicated optimization problems. |

clasp | 3.3.4 | A conflict-driven nogood learning answer set solver |

classias | 1.1 | a collection of machine-learning algorithms for classification |

clblas | 2.12 | A software library containing BLAS functions written in OpenCL |

clblast | 1.5.0 | Tuned OpenCL BLAS |

cln | 1.3.4 | Class Library for Numbers |

cloog | 0.18.4 | CLooG, the Chunky Loop Generator |

cloog-devel | 0.18.3 | Obsolete port, replaced by cloog |

cmsvlib | 2013-04-19 | Read and Write IDL SAVE files |

ColPack | 1.0.10 | A graph coloring algorithm package |

coq | 8.8.2 | Proof assistant for higher-order logic |

crfpp | 0.58 | Yet Another CRF toolkit |

crfsuite | 0.12.2 | A fast implementation of Conditional Random Fields (CRFs) |

cusp | 0.5.1 | Generic Parallel Algorithms for Sparse Matrix and Graph |

cvc4 | 1.4 | An automated theorem prover for SMT problems |

dap | 3.7 | small statistics and graphics package |

deal.ii | 9.1.1 | a C++ software library supporting the creation of finite element codes |

diehard | 0.1 | Marsaglia's Diehard Battery of Tests of Randomness |

djbfft | 0.76 | D.J. Bernstein's fast fourier transform library |

dlib | 19.17 | Modern C++ toolkit for machine learning, image processing, and more. |

DoCon | 2.11 | DoCon is the Algebraic Domain Constructor |

dolfin | 2018.1.0 | DOLFIN is a part of FEniCS |

drc-fir | 3.0.0 | DRC is a program used to generate correction filters for acoustic compensation |

drgeo1 | 1.1.0 | Dr Geo is an interactive geometry software. |

DSDP | 5.8 | DSDP is a open source implementation of an interior-point method for semidefinite programming |

dualist | 0.3 | An interactive machine learning system for building classifiers quickly. |

e | 0.02718 | e is a command line expression evaluator. |

eigen | 2.0.17 | A C++ template library for linear algebra: vectors, matrices, and related algorithms. |

eigen3 | 3.3.7 | A C++ template library for linear algebra: vectors, matrices, and related algorithms. |

eigen3-devel | 3.3-tracking-20181211 | A C++ template library for linear algebra: vectors, matrices, and related algorithms. |

ent | 20080128 | Entropy calculator |

entropy | 2.0 | calculate the entropy of a given file/stream |

eo | 1.3.1 | an evolutionary computation library |

espresso | 1.0 | logic minimization program |

ess | 13.09-1 | Emacs mode for statistical programming and analysis |

fftw | 2.1.5 | Fast C routines to compute the Discrete Fourier Transform |

fftw-3 | 3.3.8 | Fast C routines to compute the Discrete Fourier Transform |

fftw-3-long | 3.3.8 | Fast C routines to compute the Discrete Fourier Transform |

fftw-3-single | 3.3.8 | Fast C routines to compute the Discrete Fourier Transform |

fftw-single | 2.1.5 | Fast C routines to compute the Discrete Fourier Transform |

fgsl | 1.2.0 | Fortran interface to the GNU scientific library |

fityk | 1.3.0 | fityk is for peak fitting. |

flint | 2.5.2 | Fast Library for Number Theory |

freehdl | 0.0.7 | A free VHDL simulator used for digital simulations by qucs |

fricas | 1.3.5 | The Fricas computer algebra system |

fyre | 1.0.1 | Fyre is a tool for producing computational artwork. |

gaul-devel | 0.1850 | Genetic algorithms library |

gecode | 4.4.0 | Generic Constraint Development Environment |

genius | 1.0.23 | Genius is a calculator program. |

geos | 3.8.0 | GEOS Geometry Engine - Open Source |

getdp | 3.2.0 | a general environment for the treatment of discrete problems |

gexpr | 2.0.2 | A shell calculator |

gfm | 1.06 | tool to manipulate Texas Instruments calculator files |

gibbslda | 0.2 | a C/C++ implementation of Latent Dirichlet Allocation (LDA) using Gibbs Sampling |

GiNaC | 1.7.8 | GiNaC is C++ library that provides a set of algebraic capabilities. |

glpk | 4.65 | GNU Linear Programming Kit |

gmm | 5.3 | Provides some basic types of sparse and dense matrices and vectors |

gmp | 6.1.2 | GNU multiple precision arithmetic library |

gmp-ecm | 6.3 | Factor integers using the Elliptic Curve Method |

gmtl | 0.6.1 | a lightweight math library |

gnofract4d | 3.14.1 | Gnofract4D is a program to draw fractals. |

gnome-turtle | 0.1.3 | A turtle and lsys drawing program for GNOME. |

gnudatalanguage | 0.9.9 | a free IDL combatible incremental compiler |

gnumeric | 1.12.45 | A powerful Gtk3 based spreadsheet with Excel, ODF, R and Python support. |

gnuplot | 5.2.7 | A command-driven interactive function plotting program |

gr1c | 0.9.0 | Tools for GR(1) synthesis and related activities |

grace | 5.1.25 | WYSIWYG tool to make two-dimensional plots of numerical data |

gringo | 4.5.4 | gringo computes an equivalent ground program |

gromacs | 2019.2 | The World's fastest Molecular Dynamics package |

gromacs-plumed | 2019.2 | The World's fastest Molecular Dynamics package: (THIS PORT INSTALLS A VERSION OF GROMACS PATCHED WITH PLUMED) |

gsl | 2.6 | A numerical library for C and C++ programmers |

gtkdatabox | 0.9.1.1 | Data Display Widget |

gts | 0.7.6-20121130 | The GNU Triangulated Surface library |

gunits | 2.19 | Unit conversion and calculation |

Port Information was last updated at:

*2019-11-13 05:57 (UTC)*

*f5b0c327*

Latest build fetched has 'start time':

*2019-11-13 05:53 (UTC)*

Latest stats submission was received at:

*2019-11-13 08:58 (UTC)*

Latest build fetched has 'start time':

Latest stats submission was received at: