summaryrefslogtreecommitdiff
path: root/math/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
* new port: math/libpgmathJohannes M Dieterich2018-09-061-0/+1
* new port: math/sleefJohannes M Dieterich2018-09-061-0/+1
* New port: math/py-chaospy: Toolbox for performing uncertainty quantificationYuri Victorovich2018-09-061-0/+1
* New port: math/mkl-dnn: Intel(R) Math Kernel Library for Deep Neural NetworksYuri Victorovich2018-09-051-0/+1
* New port: math/py-rapi: Minimal R API for PythonYuri Victorovich2018-09-011-0/+1
* math/rpy2: Update 2.7.8 -> 2.9.4; Move to math/py-rpy2Yuri Victorovich2018-09-011-1/+1
* Package DoE.base creates full factorial experimental designs and designsWen Heping2018-09-011-0/+1
* Additive partitions of integers. Enumerates the partitions, unequal partitions,Wen Heping2018-09-011-0/+1
* polynom is a collection of functions to implement a class for univariateWen Heping2018-09-011-0/+1
* Provides number-theoretic functions for factorization, prime numbers,Wen Heping2018-08-311-0/+1
* New port: math/elpa: Eigenvalue soLver for Petaflop ApplicationsYuri Victorovich2018-08-291-0/+1
* Remove expired ports:Rene Ladan2018-08-211-3/+0
* New port: math/blazeiterative: Set of iterative linear system solvers for use...Yuri Victorovich2018-08-191-0/+1
* New port: math/blaze: C++ math library for dense and sparse arithmeticYuri Victorovich2018-08-191-0/+1
* Regular sorting of categories Makefiles.Mathieu Arnold2018-08-081-3/+3
* New port: math/py-spot: Python binding for 'Spot', the library for omega auto...Yuri Victorovich2018-08-041-0/+1
* New port: math/spot: Library for omega automata manipulation and model checkingYuri Victorovich2018-08-041-0/+1
* New port: math/zegrapher: Software for plotting mathematical objectsYuri Victorovich2018-08-031-0/+1
* math/py-z3: Rename back to math/py-z3-solver to match it on PyPI websiteYuri Victorovich2018-07-301-1/+1
* Add p5-Statistics-CaseResampling 0.15Sunpoet Po-Chuan Hsieh2018-07-281-0/+1
* math/py-z3-solver: Rename to math/py-z3 to have a more intuitive nameYuri Victorovich2018-07-251-1/+1
* math/z3: Fix the python binding to work for all python versionsYuri Victorovich2018-07-241-0/+1
* New port: math/lean: Theorem proverYuri Victorovich2018-07-221-0/+1
* New port: math/py-libpoly: Python binding for libpolyYuri Victorovich2018-07-211-0/+1
* New port: math/libpoly: C library for manipulating polynomialYuri Victorovich2018-07-211-0/+1
* New port: math/yices: SMT solverYuri Victorovich2018-07-211-0/+1
* New port: math/vtk8: Visualization toolkit (repocopy of math/vtk6 with modifi...Yuri Victorovich2018-07-121-0/+1
* New port: math/singularKurt Jaeger2018-07-101-0/+1
* Remove expired ports:Rene Ladan2018-07-031-1/+0
* Re-add port: math/fricas: Advanced computer algebra systemYuri Victorovich2018-06-281-0/+1
* New port: math/py-slepc4py: SLEPc for PythonYuri Victorovich2018-06-251-0/+1
* New port: math/slepc: Scalable Library for Eigenvalue Problem ComputationsYuri Victorovich2018-06-251-0/+1
* New port: math/cvc4Kurt Jaeger2018-06-211-0/+1
* New port: math/py-spectral: Spectral Python (SPy) is a Python module for hype...Yuri Victorovich2018-06-211-0/+1
* - Add new port: math/R-cran-plsTAKATSU Tomonari2018-06-191-0/+1
* New port: math/py-pyFFTW: Pythonic wrapper around FFTW, the FFT libraryYuri Victorovich2018-06-181-0/+1
* New port: math/py-permutation: Permutations of finitely many positive integersYuri Victorovich2018-06-171-0/+1
* New port: math/py-simhash: Python implementation of simhash algorithmYuri Victorovich2018-06-151-0/+1
* Remove math/clipper, duplicate of graphics/polyclipping.Tijl Coosemans2018-06-111-1/+0
* New port: math/py-petsc4py: PETSc for PythonYuri Victorovich2018-06-091-0/+1
* Remove expired ports:Rene Ladan2018-06-091-1/+0
* New port: math/ecos: Lightweight conic solver for second-order cone programmingYuri Victorovich2018-06-081-0/+1
* math/R-cran-carData: Companion to Applied Regression Data SetsDavid Naylor2018-06-021-0/+1
* Add py-secp256k1 0.13.2, FFI bindings to libsecp256k1.Vanilla I. Shu2018-05-291-0/+1
* New port: math/py-PyMetis: Python wrapper for the Metis graph partititioning ...Yuri Victorovich2018-05-241-0/+1
* New port: math/petiga: Framework for High Performance Isogeometric AnalysisYuri Victorovich2018-05-211-0/+1
* New port: math/py-igakit: Low-level routines for manipulations of NURBS geome...Yuri Victorovich2018-05-211-0/+1
* New port: math/py-scikit-umfpack: Python interface to UMFPACK sparse direct s...Yuri Victorovich2018-05-211-0/+1
* New port: math/py-GridDataFormats: Handle data on a grid: NumPy n-dimensional...Yuri Victorovich2018-05-131-0/+1
* New port: math/xlife++: XLiFE++: eXtended Library of Finite Elements in C++Yuri Victorovich2018-05-131-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-10 21:52:59 +0000