aboutsummaryrefslogtreecommitdiffstats
path: root/math/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/Imath: new port (replaces graphics/ilmbase)Matthias Andree2021-04-121-0/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-2/+0
* Re-add math/rehearse: Doesn't seem to depend on any conflicting portsYuri Victorovich2021-03-251-0/+1
* Re-add port: math/openmesh: Update 8.0 -> 8.1Yuri Victorovich2021-03-251-0/+1
* Remove math/s2geometry: It is a duplicate of graphics/s2Yuri Victorovich2021-03-231-1/+0
* New port: math/s2geometry: Geometry library for manipulating geometric shapesYuri Victorovich2021-03-191-0/+1
* - Add new port: math/R-cran-proxyTAKATSU Tomonari2021-03-161-0/+1
* Move: biology/py-fastTSNE -> math/py-openTSNEYuri Victorovich2021-03-141-0/+1
* New port: math/py-baycomp: Library for Bayesian comparison of classifiersYuri Victorovich2021-03-141-0/+1
* New port: math/muparserx: C++ math parser library with array and string supportYuri Victorovich2021-03-061-0/+1
* new port: math/R-cran-gsl: R Wrapper for the Gnu Scientific LibraryGuangyuan Yang2021-02-271-0/+1
* New port: math/py-iminuit: Jupyter-friendly Python frontend for MINUIT2 in C++Yuri Victorovich2021-02-221-0/+1
* - Put back entry which I somehow deleted in a prior commit.Stephen Montgomery-Smith2021-02-221-0/+1
* - Resurrect port.Stephen Montgomery-Smith2021-02-221-0/+1
* - Changes forgotten for r566252.Stephen Montgomery-Smith2021-02-221-0/+1
* Adding mathics-django, which was previously a part of math/py-mathics.Thierry Thomas2021-02-201-0/+1
* Adding mathicsscript, which was previously a part of math/py-mathics.Thierry Thomas2021-02-201-0/+1
* Adding mathics-scanner, a tokeniser or scanner portion for the WolframThierry Thomas2021-02-201-0/+1
* math/mpdecimal: create portSteve Wills2021-02-051-0/+1
* Remove math/why3Baptiste Daroussin2021-02-041-1/+0
* Add py-spopt 0.1.1Sunpoet Po-Chuan Hsieh2021-02-041-0/+1
* Remove expired math/py-statsmodels010Sunpoet Po-Chuan Hsieh2021-01-311-1/+0
* Add Coxeter3, a llibrary for the study of combinatorial aspects of Coxeter groupThierry Thomas2021-01-251-0/+1
* New port: math/py-python-picard: Preconditoned ICA algorithm for Real DataYuri Victorovich2021-01-211-0/+1
* New port: math/dune-vtk: DUNE framework: File reader and writer for the VTK X...Yuri Victorovich2021-01-171-0/+1
* New port: math/dune-foamgrid: DUNE framework: one- and two-dimensional simple...Yuri Victorovich2021-01-171-0/+1
* New port: math/dune-polygongrid: DUNE framework: 2D polygonal gridYuri Victorovich2021-01-171-0/+1
* New port: math/dune-fem: DUNE framework: Finite Element Methods, Finite Volum...Yuri Victorovich2021-01-171-0/+1
* New port: math/dune-metagrid: DUNE framework: module implementing a variety o...Yuri Victorovich2021-01-171-0/+1
* New port: math/dune-curvedgeometry: DUNE framework: curved dune geometries by...Yuri Victorovich2021-01-161-0/+1
* New port: math/cmh: Compute Igusa class polynomialsYuri Victorovich2021-01-151-0/+1
* New port: math/amgcl: C++ header-only library for solving large sparse linear...Yuri Victorovich2021-01-111-0/+1
* New port: math/py-qdldl: QDLDL free LDL factorization routine for linear syst...Yuri Victorovich2021-01-071-0/+1
* New port: math/vinci: Package that implements algorithms for convex body volu...Yuri Victorovich2021-01-061-0/+1
* New port: math/cm: Library for ring class fields of imaginary quadratic numbe...Yuri Victorovich2021-01-061-0/+1
* New port: math/mpfrcx: Arbitrary precision library for arithmetic of univaria...Yuri Victorovich2021-01-061-0/+1
* Remove expired port:Rene Ladan2021-01-051-1/+0
* Add rubygem-prime 0.1.2Sunpoet Po-Chuan Hsieh2021-01-041-0/+1
* Add py-spvcm 0.3.0Sunpoet Po-Chuan Hsieh2021-01-041-0/+1
* Add py-spreg 1.1.2.post1Sunpoet Po-Chuan Hsieh2021-01-041-0/+1
* Add py-splot 1.1.3Sunpoet Po-Chuan Hsieh2021-01-041-0/+1
* Add py-spint 1.0.7Sunpoet Po-Chuan Hsieh2021-01-041-0/+1
* Add py-spglm 1.0.8Sunpoet Po-Chuan Hsieh2021-01-041-0/+1
* Revert r559792 to unbreak INDEX and bulk -aAntoine Brodin2021-01-011-0/+1
* New port: math/py-optuna: A hyperparameter optimization frameworkKurt Jaeger2021-01-011-0/+1
* New port: math/py-cmaes: Lightweight CMA Evolution Strategy implementation fo...Kurt Jaeger2021-01-011-0/+1
* New port: math/sympol: C++ library and tool to work with symmetric polyhedraYuri Victorovich2021-01-011-0/+1
* New port: math/permlib: C++ header-only library for permutation computationsYuri Victorovich2021-01-011-0/+1
* Remove most expired ports that depend on Python 2.7:Rene Ladan2021-01-011-1/+0
* Remove PHP 7.2 which expired today, use PHP 7.4 instead.Rene Ladan2020-12-311-2/+0
* Remove expired ports:Rene Ladan2020-12-291-2/+0
* new port: math/R-cran-energy: E-Statistics: Multivariate Inference via the En...Guangyuan Yang2020-12-281-0/+1
* Remove expired ports:Rene Ladan2020-12-121-2/+0
* Adding math/sprng, Scalable Parallel Pseudo Random Number Generators Library.Thierry Thomas2020-12-111-0/+1
* Resurrect math/testu01 and take maintainership.Thierry Thomas2020-12-111-0/+1
* Adding Mathics, a general-purpose computer algebra system (CAS).Thierry Thomas2020-12-011-0/+1
* Revive port math/freefem++: finite element method application.Thierry Thomas2020-11-301-0/+1
* Remove expired ports:Rene Ladan2020-11-161-1/+0
* New port: math/py-amply: Load and manipulate AMPL data as Python data structuresYuri Victorovich2020-11-151-0/+1
* Add py-mixsimulator 0.2.9.5Sunpoet Po-Chuan Hsieh2020-11-101-0/+1
* Add py-iohexperimenter 0.2.8Sunpoet Po-Chuan Hsieh2020-11-101-0/+1
* New port: math/py-benford_py: Library for testing data sets with Bendford's LawYuri Victorovich2020-11-091-0/+1
* PHP 8.0: Connect all the ports added in r552906Torsten Zuehlsdorff2020-10-221-0/+2
* New port: math/coinmumps: MUltifrontal Massively Parallel sparse direct Solve...Yuri Victorovich2020-10-191-0/+1
* New port: math/py-ssm: Bayesian learning and inference for state space modelsYuri Victorovich2020-10-131-0/+1
* Re-add port: math/barvinok: Library for counting the number of integer points...Yuri Victorovich2020-09-231-0/+1
* Simple library to make working with STL filesDiane Bruce2020-09-211-0/+1
* Upgrade py-matplotlib to 3.3.1, and keep a repocopy of 2.2.4.Thierry Thomas2020-09-191-0/+1
* Remove expired ports:Rene Ladan2020-09-191-3/+0
* New port: math/faiss: Library for efficient similarity search & clustering of...Yuri Victorovich2020-08-311-0/+1
* New port: math/universal: Header-only C++ template library for universal numb...Yuri Victorovich2020-08-301-0/+1
* Remove expired ports:Rene Ladan2020-08-271-3/+0
* Add rubygem-bigdecimal 2.0.0Sunpoet Po-Chuan Hsieh2020-08-221-0/+1
* Remove expired ports:Rene Ladan2020-08-151-1/+0
* Remove deprecated ports:Rene Ladan2020-08-151-5/+0
* New port: math/py-mip: Python MIP (Mixed-Integer Linear Programming) ToolsYuri Victorovich2020-08-111-0/+1
* New port: math/minizinc-ide: IDE for MiniZinc, a constraint modeling languageYuri Victorovich2020-08-111-0/+1
* New port: math/minizinc: Constraint modeling languageYuri Victorovich2020-08-101-0/+1
* New port: math/py-seriate: Optimal ordering of elements in a set given their ...Yuri Victorovich2020-08-041-0/+1
* New port: math/py-or-tools: Google's Operations Research tools (Python binding)Yuri Victorovich2020-08-041-0/+1
* [NEW PORT] math/py-pdal: PDAL Python bindingsLoïc Bartoletti2020-07-311-0/+1
* New port: math/py-numpoly: Create/manipulate/evaluate polynomial arrays based...Yuri Victorovich2020-07-241-0/+1
* New port: math/or-tools: Google's Operations Research toolsYuri Victorovich2020-07-211-0/+1
* Readd math/p5-Math-GSL and update to 0.42Li-Wen Hsu2020-07-191-0/+1
* SortTobias Kortkamp2020-07-121-1/+1
* - Add new port: math/R-cran-conquerTAKATSU Tomonari2020-07-111-0/+1
* - Add new port: math/R-cran-matrixStatsTAKATSU Tomonari2020-07-111-0/+1
* Add py-flax 0.1.0Sunpoet Po-Chuan Hsieh2020-07-101-0/+1
* Add py-jax 0.1.72Sunpoet Po-Chuan Hsieh2020-07-101-0/+1
* Add py-opt-einsum 3.2.1Sunpoet Po-Chuan Hsieh2020-07-101-0/+1
* Move math/py-igraph to math/py-python-igraphSunpoet Po-Chuan Hsieh2020-06-271-1/+1
* Adding E-ANTIC, a C/C++ library to deal with real embedded number fieldsThierry Thomas2020-06-271-0/+1
* - Resurrect, unbreak, and update to version 2020.02 (Catalpa)Alexey Dokuchaev2020-06-241-0/+1
* New port: math/cglm: Highly optimized graphics math (glm) for CYuri Victorovich2020-06-171-0/+1
* New port: math/mpsolve: Multiprecision rootfinder for complex roots of univar...Yuri Victorovich2020-06-161-0/+1
* New port: math/symengine: Fast symbolic manipulation library, written in C++Yuri Victorovich2020-06-111-0/+1
* Remove expired ports:Rene Ladan2020-06-051-2/+0
* Adding sypow, a mathematical program to compute special values of symmetricThierry Thomas2020-05-291-0/+1
* Adding PALP: a Package for Analyzing Lattice Polytopes.Thierry Thomas2020-05-291-0/+1
* Remove last remaining ports of Haskell libraries.Gleb Popov2020-05-271-1/+0
* Move math/py-onnx -> misc/py-onnx because it isn't a math package, rather a m...Yuri Victorovich2020-05-241-1/+0
* Add a compilation of several programs for working with Rubik's cubes, usedThierry Thomas2020-05-241-0/+1
* Remove duplicate portAntoine Brodin2020-05-201-1/+0
* New ports required for www/gitlab-ce 12.10 upgrade.Matthias Fechner2020-05-201-0/+2
* Adding pplpy, a Python module providing a wrapper to the C++ Parma PolyhedraThierry Thomas2020-05-181-0/+1
* Gmpy2 is lagging for some time, and meanwhile, pplpy and SageMath requireThierry Thomas2020-05-181-0/+1
* Add rubygem-matrix 0.3.0Sunpoet Po-Chuan Hsieh2020-05-161-0/+1
* New port: math/py-hdmedians: High-dimensional mediansYuri Victorovich2020-05-161-0/+1
* Adding cypari2, a Python interface to the number theory library PARI/GP.Thierry Thomas2020-05-161-0/+1
* Adding fpylll, a Python interface for fplll.Thierry Thomas2020-05-141-0/+1
* Add py-snuggs 1.4.7Sunpoet Po-Chuan Hsieh2020-05-091-0/+1
* Add py-affine 2.3.0Sunpoet Po-Chuan Hsieh2020-05-091-0/+1
* math/darknet: Update 3.20200315 -> 3.20200507; Move to misc/darknetYuri Victorovich2020-05-081-1/+0
* Remove expired ports:Rene Ladan2020-05-051-17/+0
* New port: math/flexfloat: C library for the emulation of reduced-precision fl...Yuri Victorovich2020-05-051-0/+1
* Adding zn_poly, a C library for polynomial arithmetic.Thierry Thomas2020-05-051-0/+1
* Adding LinBox, a library for exact computational linear algebra.Thierry Thomas2020-05-021-0/+1
* Adding libhomfly, a library to compute the homfly polynomial of a link.Thierry Thomas2020-04-301-0/+1
* New port: math/elemental: Dense and sparse linear algebra, conic optimization...Yuri Victorovich2020-04-301-0/+1
* New port: math/vtk9: Visualization toolkit (9.0.0.rc3)Yuri Victorovich2020-04-271-0/+1
* New port: math/half: C++ library for half precision floating point arithmeticYuri Victorovich2020-04-271-0/+1
* Sort SUBDIRsSunpoet Po-Chuan Hsieh2020-04-221-10/+10
* Adding pynac, a derivative of the C++ library GiNaC, which allows manipulationThierry Thomas2020-04-181-10/+11
* Adding libbraiding, a C++ library for computations on braid groups.Thierry Thomas2020-04-121-0/+1
* - Add new port: math/R-cran-linprogTAKATSU Tomonari2020-04-081-0/+1
* - Add new port: math/R-cran-lpSolveTAKATSU Tomonari2020-04-081-0/+1
* SortTobias Kortkamp2020-04-071-2/+2
* - Add new port: math/R-cran-isobandTAKATSU Tomonari2020-04-071-0/+1
* Adding HPCombi, High Performance Combinatorics in C++ using vectorThierry Thomas2020-04-071-0/+2
* Adding M4RIE, a library for fast arithmetic with dense matrices over GF(2^e)Thierry Thomas2020-04-051-0/+1
* math/mkl-dnn: Rename to math/onednn; Update 1.2.2 -> 1.3Yuri Victorovich2020-04-041-1/+1
* Adding IML - Integer Matrix Library.Thierry Thomas2020-04-041-0/+1
* Adding MPFI, a Multiple Precision Floating-point Interval library.Thierry Thomas2020-04-031-0/+1
* Resurrect rw, with PKGNAME=rankwidth, and set a conflict with sysutils/rw.Thierry Thomas2020-04-011-0/+1
* Remove math/rankwidth, PKGBASE collision with sysutils/rwAntoine Brodin2020-04-011-1/+0
* Adding BRiAl, a library for polynomials over boolean rings, and its PythonThierry Thomas2020-04-011-0/+2
* Adding rankwidth / rw, a program to calculate rank-width and rank-Thierry Thomas2020-04-011-0/+1
* Sort SUBDIRsSunpoet Po-Chuan Hsieh2020-03-311-1/+1
* - Add new port: math/R-cran-rasterTAKATSU Tomonari2020-03-311-0/+1
* Adding planarity, the Edge Addition Planarity Suite, to be used by SageMath.Thierry Thomas2020-03-301-0/+1
* Adding lrcalc, a Littlewood-Richardson Calculator to be used by SageMath.Thierry Thomas2020-03-301-0/+1
* Adding lcalc, the L-function c++ class library and, the command line programThierry Thomas2020-03-301-0/+1
* Adding some PARI/GP related packages, to be used by SageMath:Thierry Thomas2020-03-291-0/+6
* Adding gf2x, a library for multiplying polynomials over the binary field.Thierry Thomas2020-03-281-0/+1
* Adding Cliquer, a set of C routines for finding cliques in an arbitraryThierry Thomas2020-03-271-0/+1
* Adding m4ri. M4RI is a library for fast arithmetic with dense matrices over F2.Thierry Thomas2020-03-271-0/+1
* Adding eclib. The eclib package includes mwrank (for 2-descent on ellipticThierry Thomas2020-03-271-0/+1
* Unbreak INDEXAntoine Brodin2020-03-251-1/+1
* Python-FCL is an (unofficial) Python interface for the Flexible CollisionDiane Bruce2020-03-251-0/+1
* This is a snapshot version of FCL at 0.5.0 mainly to supportDiane Bruce2020-03-251-0/+1
* New port: math/cudd: Package for the manipulation of Binary Decision Diagrams...Yuri Victorovich2020-03-231-0/+1
* *Triangle* is a python wrapper around Jonathan Richard Shewchuk's two-dimensi...Diane Bruce2020-03-191-0/+1
* New port: math/dune-spgrid: DUNE framework: A structured, parallel DUNE grid ...Yuri Victorovich2020-03-161-0/+1
* New port: math/dune-pdelab: DUNE framework: PDE solver toolboxYuri Victorovich2020-03-151-0/+1
* New port: math/dune-functions: DUNE framework: Abstraction layer for global f...Yuri Victorovich2020-03-151-0/+1
* New port: math/dune-typetree: DUNE framework: The TypeTree libraryYuri Victorovich2020-03-151-0/+1
* New port: math/dune-alugrid: DUNE framework: grid implementation providing si...Yuri Victorovich2020-03-151-0/+1
* New port: math/dune-localfunctions: DUNE framework: Local finite elementsYuri Victorovich2020-03-151-0/+1
* New port: math/dune-istl: DUNE framework: Iterative Solver Template LibraryYuri Victorovich2020-03-151-0/+1
* New port: math/dune-grid: DUNE framework: Geometry transformations, reference...Yuri Victorovich2020-03-151-0/+1
* New port: math/dune-uggrid: DUNE framework: The UG Grid ManagerYuri Victorovich2020-03-151-0/+1
* New port: math/dune-geometry: DUNE framework: Geometry transformations, refer...Yuri Victorovich2020-03-151-0/+1
* New port: math/dune-common: DUNE framework: Build system, infrastructure and ...Yuri Victorovich2020-03-151-0/+1
* New port: math/hs-penrose: Create diagrams by typing mathematical notation in...Yuri Victorovich2020-03-131-0/+1
* Rename math/py-PySMT to math/py-pysmtMateusz Piotrowski2020-03-091-1/+1
* New port: math/py-claripyMateusz Piotrowski2020-03-071-0/+1
* New port: math/py-PySMTMateusz Piotrowski2020-03-071-0/+1
* Remove expired ports:Rene Ladan2020-03-021-1/+0
* Add librdata 0.1.0.g20200219Sunpoet Po-Chuan Hsieh2020-02-291-0/+1
* A collection of algorithms and functions to aid statistical modeling.Wen Heping2020-02-251-0/+1
* Resurrect math/mumps4. I should have just removed the METIS4 option.Rene Ladan2020-02-231-0/+1
* Remove math/mumps4 math/metis4.Rene Ladan2020-02-231-2/+0
* Remove expired ports, all Python-2.7-only:Rene Ladan2020-02-231-2/+0
* Remove expired ports:Rene Ladan2020-02-161-1/+0
* New port: math/ctl-sat: CTL (Computation Tree Logic) SAT solverMateusz Piotrowski2020-02-111-0/+1
* Remove duplicate port math/mandelbulber2Yuri Victorovich2020-02-051-1/+0
* Remove expired ports:Rene Ladan2020-01-271-6/+0
* Revert r524124, resurrection of a still broken and still unmaintained portAntoine Brodin2020-01-261-1/+0
* Add py-statsmodels010 0.10.2 (copied from py-statsmodels)Sunpoet Po-Chuan Hsieh2020-01-261-0/+1
* New port: devel/py-pynndescent: Python nearest neighbor descent for approxima...Yuri Victorovich2020-01-251-0/+1
* math/apache-commons-math: sort math/MakefilePedro F. Giffuni2020-01-251-1/+1
* math/jakarta-commons-math3 update and rename to apache-commons-mathPedro F. Giffuni2020-01-251-1/+1
* math/superlu_mt: Resurrect.Pedro F. Giffuni2020-01-241-0/+1
* New port: math/poly2tri: 2D constrained Delaunay triangulation libraryYuri Victorovich2020-01-201-0/+1
* - Resurrect port math/octave-forge-audio.Stephen Montgomery-Smith2020-01-171-0/+1
* Remove expired ports:Rene Ladan2020-01-111-1/+0
* - Resurrect port math/octave-forge-mechanics.Stephen Montgomery-Smith2020-01-061-0/+1
* - Resurrect ports math/octave-forge-communications.Stephen Montgomery-Smith2020-01-061-0/+1
* [New Port] math/R-cran-alabama: Constrained Nonlinear OptimizationDevin Teske2020-01-031-0/+1
* [New Port] math/R-cran-ADGofTest: Anderson-Darling GoF testDevin Teske2020-01-031-0/+1
* Resurrect ports depending on devel/openmp.Rene Ladan2020-01-011-0/+1
* Remove expired ports:Rene Ladan2020-01-011-1/+0
* Add py-hdbscan 0.8.24Sunpoet Po-Chuan Hsieh2019-12-291-0/+1
* Remove math/metis-edf: now the regular math/metis is sufficient for Code_Aster.Thierry Thomas2019-12-241-1/+0
* New port: math/csdp: Solver for semidefinite programming problemsYuri Victorovich2019-12-221-0/+1
* New port: math/rehearse: Algebraic modeling library in C++ for linear optimiz...Yuri Victorovich2019-12-221-0/+1
* Remove PHP 7.1 ports, upstream security support ended on 2019-12-01 :Rene Ladan2019-12-181-2/+0
* New port: math/wavelib: Wavelet Transform (DWT, SWT and MODWT)Yuri Victorovich2019-12-131-0/+1
* New port: math/sisl: Spline libraryYuri Victorovich2019-12-091-0/+1
* [New Port] math/R-cran-acepack: ACE and AVAS for selecting multiple regressio...Devin Teske2019-12-061-0/+1
* New port: math/teyjus: Higher-order logic programming language Lambda PrologYuri Victorovich2019-12-051-0/+1
* New port: math/cadical: Simple CDCL satisfiability solverYuri Victorovich2019-12-041-0/+1
* Data structures and basic operations for ordinary sets, generalizations such asWen Heping2019-12-031-0/+1
* - New port math/octave-forge-matgeom.Stephen Montgomery-Smith2019-12-021-0/+1
* New port: math/py-arviz: Package for exploratory analysis of Bayesian modelsYuri Victorovich2019-12-021-0/+1
* New port: math/abella: Interactive theorem proverYuri Victorovich2019-11-301-0/+1
* Move ONNX-related ports to a more proper category.Yuri Victorovich2019-11-251-2/+0
* math/tvm: Update 0.5.20191028 -> 0.6.0.rc0; Move math/tvm -> misc/tvmYuri Victorovich2019-11-241-1/+0
* New port: math/ensmallen: Flexible C++ library for efficient mathematical opt...Yuri Victorovich2019-11-201-0/+1
* New port: math/clingo: Grounder and solver for logic programsYuri Victorovich2019-11-161-0/+1
* - Resurrect math/octave-forge-linear algebra.Stephen Montgomery-Smith2019-11-151-0/+1
* Add py-matplotlib-scalebar 0.6.1Sunpoet Po-Chuan Hsieh2019-11-141-0/+1
* New port: math/mpfrc++: High-performance C++ interface for MPFR libraryYuri Victorovich2019-11-081-0/+1
* Sort SUBDIRsSunpoet Po-Chuan Hsieh2019-11-041-1/+1
* New port: math/ideep: Chainer module for numpy-like API and DNN acceleration ...Yuri Victorovich2019-10-281-0/+1
* New port: math/py-onnx-tf: Tensorflow backend for ONNX (Open Neural Network E...Yuri Victorovich2019-10-261-0/+1
* - Resurrect math/octave-forge-fits. Add patches so it builds. Bump portrevi...Stephen Montgomery-Smith2019-10-241-0/+1
* - Resurrect math/octave-forge-econometrics.Stephen Montgomery-Smith2019-10-201-0/+1
* Remove expired ports:Rene Ladan2019-10-161-4/+0
* New port: math/darknet: Open source neural networks in CYuri Victorovich2019-10-071-0/+1
* New port: math/gemmlowp: Low-precision matrix multiplication libraryYuri Victorovich2019-10-051-0/+1
* New port: math/mcsimKurt Jaeger2019-10-031-0/+1
* Welcome PHP 7.4 RC 1 in the ports-tree.Torsten Zuehlsdorff2019-09-201-0/+2
* Resurrect graphics/py-pyembree and math/py-yt now that graphics/embree is fixed.Rene Ladan2019-09-081-0/+1
* Remove expired ports:Rene Ladan2019-09-051-10/+0
* Add PyStan: The Python Interface to StanDan Langille2019-09-041-0/+1
* math/vampire: Hook to the buildYuri Victorovich2019-09-021-0/+1
* Remove expired ports:Rene Ladan2019-09-011-2/+0
* Sort SUBDIRsSunpoet Po-Chuan Hsieh2019-08-311-1/+1
* New port: math/tvm: Deep learning compiler stack for cpu, gpu and specialized...Yuri Victorovich2019-08-271-0/+1
* Move science/py-onnx -> math/py-onnxYuri Victorovich2019-08-271-0/+1
* New port: math/onnx: Open Neural Network eXchangeYuri Victorovich2019-08-271-0/+1
* New port: math/cppad: C++ Algorithmic Differentiation packageYuri Victorovich2019-08-251-0/+1
* New port: math/casadi: Symbolic framework for numeric optimizationYuri Victorovich2019-08-251-0/+1
* New port: math/symphony: Solver and development framework for mixed-integer l...Yuri Victorovich2019-08-251-0/+1
* New port: math/couenne: Convex Over and Under Envelopes for NonliNear EstimationYuri Victorovich2019-08-251-0/+1
* New port: math/bonmin: Basic Open-source Nonlinear Mixed INteger programmingYuri Victorovich2019-08-251-0/+1
* New port: math/hpipm: High-performance interior-point-method QP solversYuri Victorovich2019-08-251-0/+1
* New port: math/blasfeo: Basic Linear Algebra Subroutines For Embedded Optimiz...Yuri Victorovich2019-08-251-0/+1
* misc/bitwise: Move to the 'math' category; Fix license; Update COMMENTYuri Victorovich2019-07-221-0/+1
* New port: math/mandelbulber2: Three-dimensional fractals generatorYuri Victorovich2019-06-231-0/+1
* Add py-gym 0.12.5Sunpoet Po-Chuan Hsieh2019-06-221-0/+1
* New port: math/boolector: Satisfiability Modulo Theories (SMT) solverYuri Victorovich2019-06-141-0/+1
* New port: math/btor2tools: Generic parser and tool package for the BTOR2 formatYuri Victorovich2019-06-141-0/+1
* New port: math/rumur: Model checker, a formal verification tool for state mac...Yuri Victorovich2019-06-031-0/+1
* Remove expired ports:Rene Ladan2019-05-311-2/+0
* New port: math/exprtk: C++ mathematical expression libraryYuri Victorovich2019-05-271-0/+1
* New port: math/openturns: Uncertainty treatment libraryYuri Victorovich2019-05-271-0/+1
* math/rubygem-mtrc: new port - minimal metric aggregation libraryDave Cottlehuber2019-05-241-0/+1
generated by cgit (git 2.34.1) at 2025-02-23 01:09:41 +0800