Page 1 of 8 | Showing ports 1 to
100
| Name |
Version |
Description |
| aamath |
0.3 |
renders ASCII art from mathematical expressions |
| acl2 |
8.2 |
Applicative Common Lisp / A Computational Logic |
| add |
20210108 |
Fixed-point, full screen calculator. |
| ADOL-C |
2.7.2 |
Algorithmic Differentiation Library for C/C++ |
| alglib |
3.16.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.3 |
AROW++ An implementation of the efficient confidence-weighted classifier |
| arpack |
3.8.0 |
Package for solving large-scale eigenvalue problems |
| asco |
0.4.10 |
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 |
| bashplotlib |
0.6.5 |
Make scatter or histogram plots in the terminal |
| 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 |
1.0.2 |
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 |
| cadabra2 |
2.3.6.8 |
A field theory approach to symbolic computer algebra |
| caffe |
20170817 |
a fast framework for deep learning |
| calc |
2.12.7.6 |
Arbitrary precision calculator |
| casadi |
3.3.0 |
CasADi is a symbolic framework for numeric optimization |
| cddlib |
0.94m |
a C implementation of the Double Description Method |
| ceres-solver |
2.0.0 |
Library for modeling and solving large, complicated optimization problems. |
| clasp |
3.3.5 |
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.2 |
Tuned OpenCL BLAS |
| cln |
1.3.6 |
Class Library for Numbers |
| cloog |
0.18.4 |
CLooG, the Chunky Loop Generator |
| 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.10 |
small statistics and graphics package |
| deal.ii |
9.2.0 |
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.21 |
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 |
| dsfmt |
2.2.3 |
(d)SFMT is a new variant of Mersenne Twister (MT) |
| 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.9 |
A C++ template library for linear algebra: vectors, matrices, and related algorithms. |
| eigen3-devel |
3.3-tracking-20201012 |
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 |
| eplot |
20200806 |
Easily pipe data through gnuplot and create plots quickly |
| 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.9 |
Fast C routines to compute the Discrete Fourier Transform |
| fftw-3-long |
3.3.9 |
Fast C routines to compute the Discrete Fourier Transform |
| fftw-3-single |
3.3.9 |
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.3.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.6 |
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.9.1 |
GEOS Geometry Engine - Open Source |
| getdp |
3.3.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.8.0 |
GiNaC is C++ library that provides a set of algebraic capabilities. |
| glpk |
5.0 |
GNU Linear Programming Kit |
| gmm |
5.4 |
Provides some basic types of sparse and dense matrices and vectors |
| gmp |
6.2.1 |
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.48 |
A powerful Gtk3 based spreadsheet with Excel, ODF, R and Python support. |
| gnuplot |
5.4.1 |
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 |
