notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Category listing - math
Mathematical computation software. - Number of ports in this category): 1324

Ports marked with a * actually reside within another category but have math listed as a secondary category.

bliss Tool for computing automorphism groups and canonical forms of graphs
0.73 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.73Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-22 22:12:13
License: GPLv3
Dependency lines:
  • bliss-graph-tool>0:math/bliss
blocksolve95 Software for the efficient solution of large, sparse linear systems
3.0_31 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.0_28Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2004-11-15 22:29:04
People watching this port, also watch:: openmpi
Also Listed In: parallel
License: AS-IS
Dependency lines:
  • blocksolve95>0:math/blocksolve95
bonmin Basic Open-source Nonlinear Mixed INteger programming
1.8.9_4 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.8.9_3Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-08-25 01:00:08
License: EPL
Dependency lines:
  • coin-or-bonmin>0:math/bonmin
boolector Satisfiability Modulo Theories (SMT) solver
3.2.3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.2.3Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-06-14 07:37:12
License: MIT
Dependency lines:
  • boolector>0:math/boolector
bout++ Plasma fluid finite-difference simulation code
4.4.2_5* search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 4.4.2_5Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-12-24 11:09:08
Also Listed In: science
License: GPLv3
Dependency lines:
  • bout++>0:science/bout++
brial Library for polynomials over boolean rings
1.2.11_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.2.11_1Version of this port present on the latest quarterly branch.
Maintainer: thierry@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-31 17:29:13
People watching this port, also watch:: SparseBitSet, py39-cysignals, R-cran-eRm, python
License: GPLv2
Dependency lines:
  • BRiAl>0:math/brial
bsdnt Bignum Library
1.0_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.0_1Version of this port present on the latest quarterly branch.
Maintainer: bofh@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2014-01-03 21:37:35
License: BSD3CLAUSE
Dependency lines:
  • bsdnt>0:math/bsdnt
btor2tools Generic parser and tool package for the BTOR2 format
g20320816 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout g20320816Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-06-14 06:00:08
License: MIT
Dependency lines:
  • btor2tools>0:math/btor2tools
cadabra2 Computer algebra system for solving field theory problems
2.4.5.4 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.4.4.1_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2016-07-10 07:43:03
License: LGPL3
Dependency lines:
  • cadabra2>0:math/cadabra2
cadical Simple CDCL satisfiability solver
1.9.5 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.6.0Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-12-04 05:50:57
Also Listed In: devel
License: MIT
Dependency lines:
  • cadical>0:math/cadical
cado-nfs Implementation of the Number Field Sieve Algorithm
2.3.0.20220722 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.3.0.20220722Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-08-13 10:03:06
License: LGPL21
Dependency lines:
  • cado-nfs>0:math/cado-nfs
calc Interactive CLI arbitrary-precision calculator
2.15.0.6_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.15.0.4Version of this port present on the latest quarterly branch.
Maintainer: adamw@FreeBSD.org search for ports maintained by this maintainer
Port Added: unknown
People watching this port, also watch:: unzip, gmake, gettext, libiconv, expat
License: LGPL21
Dependency lines:
  • calc>0:math/calc
calcium Exact real and complex numbers in C
0.4.1_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.4.1_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-06-29 05:28:40
License: LGPL21
Dependency lines:
  • calcium>0:math/calcium
calcoo RPN and algebraic scientific calculator
1.3.18_9 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.3.18_8Version of this port present on the latest quarterly branch.
Maintainer: naddy@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2002-01-19 13:26:01
People watching this port, also watch:: popt, aspell, zip, sdl, gle
License: GPLv2+
Dependency lines:
  • calcoo>0:math/calcoo
cantor Mathematical software frontend by KDE
23.08.5_3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 23.08.4Version of this port present on the latest quarterly branch.
Maintainer: kde@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2011-10-17 00:10:04
People watching this port, also watch:: font-misc-meltho, xerces-c3, gstreamer1-plugins-pango, py39-pycparser, xclock
Also Listed In: kde kde-applications
License: LGPL20
Dependency lines:
  • cantor>0:math/cantor
casadi Symbolic framework for numeric optimization
3.6.0_4 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.6.0_3Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-08-25 04:19:10
License: GPLv3
Dependency lines:
  • casadi>0:math/casadi
cbc Coin-or Branch and Cut: mixed integer programming solver
2.10.11_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.10.11_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-04-16 07:55:51
License: EPL
Dependency lines:
  • coin-or-cbc>0:math/cbc
cblas Reference implementation of the C interface to the legacy Fortran BLAS
3.12.0_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.10.1Version of this port present on the latest quarterly branch.
Maintainer: fortran@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2012-01-09 19:14:34
License: BSD3CLAUSE
Dependency lines:
  • cblas>0:math/cblas
ccmath Mathematics library with many different functions
2.2.1_3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.2.1_3Version of this port present on the latest quarterly branch.
Maintainer: db@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2001-03-20 15:25:10
License: LGPL20
Dependency lines:
  • ccmath>0:math/ccmath
cddlib C-library implementation of the Double Description Method
0.94m search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.94mVersion of this port present on the latest quarterly branch.
Maintainer: moritz@schmi.tt search for ports maintained by this maintainer
Port Added: 2018-10-13 16:30:00
License: GPLv2+
Dependency lines:
  • cddlib>0:math/cddlib
ceres-solver Nonlinear least squares minimizer
2.2.0_8 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.2.0_4Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2016-10-15 23:53:53
License: BSD3CLAUSE
Dependency lines:
  • ceres-solver>0:math/ceres-solver
cfdg Context Free Design Grammar compiler
3.4.1_4* search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.4.1_4Version of this port present on the latest quarterly branch.
Maintainer: fuz@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2008-04-26 17:55:32
Also Listed In: graphics
License: GPLv2+
Dependency lines:
  • cfdg>0:graphics/cfdg
cgal Computational geometry library
5.5.1_2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 5.5.1_1Version of this port present on the latest quarterly branch.
Maintainer: wen@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2006-04-10 10:49:30
License: GPLv3 LGPL3
Dependency lines:
  • cgal>0:math/cgal
cgl Collection of cut generators for COIN-OR packages that use cuts
0.60.8_2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.60.8_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-04-16 07:22:16
License: EPL
Dependency lines:
  • coin-or-cgl>0:math/cgl
cgl-conic Strategies for conic problems for COIN-OR Cut Generation
1.0.0.6_5 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.0.0.6_4Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-12 19:12:27
License: EPL
Dependency lines:
  • coin-or-cgl-conic>0:math/cgl-conic
cglm Highly optimized graphics math (glm) for C
0.9.3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.9.1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-06-17 04:39:57
License: MIT
Dependency lines:
  • cglm>0:math/cglm
chaco Software for partitioning graphs
2.2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.2Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2006-05-03 21:10:49
License: LGPL21
Dependency lines:
  • chaco>0:math/chaco
chryzodus Chryzode (http//www.chryzode.org) explorer
0.32_4 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.32_4Version of this port present on the latest quarterly branch.
Maintainer: nivit@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2005-07-11 19:26:31
People watching this port, also watch:: freeimage, dspam, python
License: GPLv2
Dependency lines:
  • chryzodus>0:math/chryzodus
chuffed Lazy clause generation CP solver for MiniZinc
0.13.1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.13.1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-03 19:00:08
License: MIT
Dependency lines:
  • chuffed>0:math/chuffed
cimod C++ header-only library for a binary quadratic models
1.6.2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.5.1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-08-15 21:15:11
License: MIT
Dependency lines:
  • cimod>0:math/cimod
clad Automatic differentiation for C/C++
1.4 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-07-19 09:27:06
License: LGPL3
Dependency lines:
  • clad>0:math/clad
clasp Answer set solver for (extended) normal logic programs
3.3.9 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.3.9Version of this port present on the latest quarterly branch.
Maintainer: vsevolod@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2013-09-19 14:15:11
Also Listed In: devel
License: MIT
Dependency lines:
  • clasp>0:math/clasp
clblas Software library containing BLAS functions written in OpenCL
2.10_15 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.10_15Version of this port present on the latest quarterly branch.
Maintainer: jmd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-09-17 18:07:42
License: APACHE20
Dependency lines:
  • clblas>0:math/clblas
clblast Modern, lightweight, performant and tunable OpenCL BLAS library
1.1.0_4 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.1.0_4Version of this port present on the latest quarterly branch.
Maintainer: jmd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2017-06-02 00:14:15
License: APACHE20
Dependency lines:
  • clblast>0:math/clblast
clfft Software library containing FFT functions written in OpenCL
2.12.2_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.12.2_1Version of this port present on the latest quarterly branch.
Maintainer: jmd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-09-17 18:07:42
License: APACHE20
Dependency lines:
  • clfft>0:math/clfft
clhep Object-oriented toolkit for particle physics applications by CERN
2.4.7.1* search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.4.7.1Version of this port present on the latest quarterly branch.
Maintainer: bofh@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2001-05-07 21:02:21
Also Listed In: science
License: GPLv3 LGPL3
Dependency lines:
  • clhep>0:science/clhep
clingcon Extension of clingo to handle constraints over integers
5.2.0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 5.2.0Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-09-14 11:42:51
License: MIT
Dependency lines:
  • clingcon>0:math/clingcon
clingo Grounder and solver for logic programs
5.6.2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 5.6.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-11-16 03:56:50
License: MIT
Dependency lines:
  • clingo>0:math/clingo
cliquer Routines for clique searching
1.22 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.22Version of this port present on the latest quarterly branch.
Maintainer: thierry@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-27 15:00:46
People watching this port, also watch:: SparseBitSet, py39-cysignals, R-cran-eRm, python
License: GPLv2
Dependency lines:
  • cliquer>0:math/cliquer
cln Class Library for Numbers
1.3.7_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.3.6Version of this port present on the latest quarterly branch.
Maintainer: wen@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2001-02-12 11:55:45
People watching this port, also watch:: curl, aalib, libogg, zip, flac
Also Listed In: devel
License: GPLv2
Dependency lines:
  • cln>0:math/cln
cloog Code generator in the polyhedral model
0.21.1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.21.1Version of this port present on the latest quarterly branch.
Maintainer: danilo@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2013-06-28 19:39:15
People watching this port, also watch:: python, xerces-c3, linux-c7-avahi-libs, py39-pycparser
License: LGPL21
Dependency lines:
  • cloog>0:math/cloog
clp Linear Programming Solver
1.17.9_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.17.9Version of this port present on the latest quarterly branch.
Maintainer: co9co9@gmail.com search for ports maintained by this maintainer
Port Added: 2007-09-05 01:59:55
License: EPL
Dependency lines:
  • coin-or-Clp>0:math/clp
clrng Library for uniform random number generation in OpenCL
1.0.0.b_3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.0.0.b_3Version of this port present on the latest quarterly branch.
Maintainer: jmd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-09-17 18:07:42
License: BSD2CLAUSE
Dependency lines:
  • clrng>0:math/clrng
cm Library for ring class fields of imaginary quadratic number fields
0.4.3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.4.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-01-05 22:12:52
License: GPLv3
Dependency lines:
  • cm>0:math/cm
cmh Compute Igusa class polynomials
1.1.1_3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.1.1_3Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-01-15 12:40:35
License: GPLv3
Dependency lines:
  • cmh>0:math/cmh
cminpack Solving nonlinear equations and nonlinear least squares problems
1.3.6_6 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.3.6_6Version of this port present on the latest quarterly branch.
Maintainer: fernape@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-02-23 20:24:48
License: not specified in port
Dependency lines:
  • cminpack>0:math/cminpack
cmlib NIST Core math library (CMLIB)
3.0_9 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.0_9Version of this port present on the latest quarterly branch.
Maintainer: fortran@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-05-18 12:47:18
License: not specified in port
Dependency lines:
  • cmlib>0:math/cmlib
cocoalib C++ library for doing Computations in Commutative Algebra
0.99800_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.99800Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-03-20 11:16:16
License: GPLv3+ GFDL PD
Dependency lines:
  • cocoalib>0:math/cocoalib
coin-or-data-netlib COIN-OR netlib models
1.2.9 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.2.9Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-10 07:44:13
License: EPL
Dependency lines:
  • coin-or-Data-Netlib>0:math/coin-or-data-netlib
coin-or-data-sample COIN-OR data samples
1.2.12 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.2.12Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-10 07:44:13
License: EPL
Dependency lines:
  • coin-or-Data-Sample>0:math/coin-or-data-sample
coin-or-data-stochastic COIN-OR stochastic models
1.1.7 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.1.7Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-10 07:44:13
License: EPL
Dependency lines:
  • coin-or-Data-Stochastic>0:math/coin-or-data-stochastic
coin-or-metis COIN-OR autotools harness to build Metis
1.3.10_2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.3.10_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-02-23 20:03:15
License: EPL
Dependency lines:
  • coin-or-metis>0:math/coin-or-metis
coin-or-mumps COIN-OR autotools harness to build Mumps
3.0.3_3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.0.3_2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-02-23 20:03:18
License: EPL
Dependency lines:
  • coin-or-mumps>0:math/coin-or-mumps
coinmp Optimization library with support for COIN-OR CLP, CBC, and CGL
1.8.4_11 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.8.4_10Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2011-07-29 14:24:38
People watching this port, also watch:: xclock, font-bh-lucidatypewriter-100dpi, python, font-misc-meltho, libao
License: CPL
Dependency lines:
  • CoinMP>0:math/coinmp
coinutils Utilities for COIN-OR project
2.11.10_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.11.10_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-10 01:06:52
License: EPL
Dependency lines:
  • coin-or-CoinUtils>0:math/coinutils
colpack Graph Coloring Algorithm Package
1.0.10.249_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.0.10.249_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-07-19 09:27:23
License: BSD3CLAUSE
Dependency lines:
  • colpack>0:math/colpack
combblas Combinatorial BLAS library: an extensible parallel graph library
2.0.0_2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.0.0_2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-16 11:02:31
License: MIT
Dependency lines:
  • CombBLAS>0:math/combblas
conauto Program for graph isomorphism testing & automorphism group computation
2.03 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.03Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-22 22:36:08
License: GPLv3+
Dependency lines:
  • conauto>0:math/conauto
concorde Combinatorial Optimization package
20031219 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 20031219Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2000-07-03 23:38:00
People watching this port, also watch:: ParMetis, clusterit
Also Listed In: parallel
License: not specified in port
Dependency lines:
  • concorde>0:math/concorde
convertall Another unit converter
0.8.0_7 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.8.0_7Version of this port present on the latest quarterly branch.
Maintainer: jhale@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2004-08-29 17:45:08
License: GPLv2+
Dependency lines:
  • convertall>0:math/convertall
coq Theorem prover based on lambda-C
8.19_1,3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 8.19_1,3Version of this port present on the latest quarterly branch.
Maintainer: hrs@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2004-10-16 01:04:52
People watching this port, also watch:: ocaml-lwt, osslsigncode
License: LGPL21
Dependency lines:
  • coq>0:math/coq
cosma Distributed communication-optimal matrix multiplication algorithm
2.6.2_3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.6.2_2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-07-12 04:12:06
License: BSD3CLAUSE
Dependency lines:
  • cosma>0:math/cosma
costa Distributed Communication-Optimal Shuffle and Transpose Algorithm
2.2_4 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.2_4Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-08-26 18:09:07
License: BSD3CLAUSE
Dependency lines:
  • costa>0:math/costa
couenne Convex Over and Under Envelopes for NonliNear Estimation
0.5.8_13 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.5.8_12Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-08-25 01:15:10
License: EPL
Dependency lines:
  • coin-or-couenne>0:math/couenne
coxeter3 Library for the study of combinatorial aspects of Coxeter group theory
3.1.20210124 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.1.20210124Version of this port present on the latest quarterly branch.
Maintainer: thierry@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-01-24 17:26:41
People watching this port, also watch:: SparseBitSet, py39-cysignals, R-cran-eRm, python
License: GPLv2
Dependency lines:
  • coxeter>0:math/coxeter3
cppad C++ Algorithmic Differentiation package
20230000.0_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 20230000.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-08-25 07:18:52
License: EPL
Dependency lines:
  • coin-or-cppad>0:math/cppad
cpuminer CPU miner for Litecoin and Bitcoin
2.5.1_2* search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.5.1_1Version of this port present on the latest quarterly branch.
Maintainer: mm@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2013-11-03 21:21:13
People watching this port, also watch:: python, cvsgraph, ladspa, php81-pear-Horde_Mapi
Also Listed In: net-p2p
License: GPLv2
Dependency lines:
  • cpuminer>0:net-p2p/cpuminer
creme Randomized thermal relaxation method for MaxFS problems
g20210114 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout g20210114Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-14 07:57:17
License: EPL
Dependency lines:
  • coin-or-creme>0:math/creme
crlibm Correctly-rounded mathematics library
1.0.b4_2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.0.b4_2Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2012-01-11 06:47:22
License: LGPL21
Dependency lines:
  • crlibm>0:math/crlibm
cryptominisat General-purpose award-winning SAT solver
5.11.21_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 5.11.15Version of this port present on the latest quarterly branch.
Maintainer: arrowd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2015-05-05 21:54:48
License: MIT LGPL21
Dependency lines:
  • cryptominisat>0:math/cryptominisat
csdp Solver for semidefinite programming problems
6.2.0_2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 6.2.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-12-22 00:55:58
License: MIT
Dependency lines:
  • coin-or-csdp>0:math/csdp
ctl-sat CTL (Computation Tree Logic) SAT solver
g20200210 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout g20200210Version of this port present on the latest quarterly branch.
Maintainer: 0mp@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-02-10 16:43:51
License: MIT
Dependency lines:
  • ctl-sat>0:math/ctl-sat
cudd Package for the manipulation of Binary Decision Diagrams (BDDs), etc
3.0.0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.0.0Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-23 06:31:19
License: BSD3CLAUSE
Dependency lines:
  • cudd>0:math/cudd
curv Language for making art using mathematics
0.5_20 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.5_19Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-05-11 17:33:13
Also Listed In: graphics lang
License: APACHE20
Dependency lines:
  • curv>0:math/curv
cvc5 Automatic theorem prover for SMT (Satisfiability Modulo Theories)
1.1.2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.0.8_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-01-04 11:54:07
Also Listed In: java
License: BSD3CLAUSE
Dependency lines:
  • cvc5>0:math/cvc5
datalegreya Typeface that melts text and data visualisation
0.2017.03.29_1* search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.2017.03.29_1Version of this port present on the latest quarterly branch.
Maintainer: thierry@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-06-17 08:19:05
People watching this port, also watch:: SparseBitSet, py39-cysignals, R-cran-eRm, python
Also Listed In: textproc x11-fonts
License: OFL11
Dependency lines:
  • datalegreya>0:x11-fonts/datalegreya
dbcsr Distributed Block Compressed Sparse Row matrix library
2.6.0_2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.6.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-10-31 21:49:50
License: GPLv3
Dependency lines:
  • dbcsr>0:math/dbcsr
ddfun Double-double package with special functions
03 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 03Version of this port present on the latest quarterly branch.
Maintainer: fortran@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-11-05 18:33:07
People watching this port, also watch:: SparseBitSet, py39-cysignals, R-cran-eRm, python
License: BSD3CLAUSE
Dependency lines:
  • ddfun>0:math/ddfun
deal.ii Finite element Differential Equations Analysis Library (DEAL)
9.5.2_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 9.5.0_4Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-10-03 07:41:30
License: LGPL21
Dependency lines:
  • deal.II>0:math/deal.ii
dgl Deep Graph Library
1.1.2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.1.1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-05-10 04:24:29
License: APACHE20
Dependency lines:
  • dgl>0:math/dgl
dieharder Random number generator testsuite
3.31.1_10 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.31.1_9Version of this port present on the latest quarterly branch.
There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2008-11-15 21:50:42
People watching this port, also watch:: smartmontools, lsof, python, tmux, openssl
License: GPLv2
Dependency lines:
  • dieharder>0:math/dieharder
dihydrogen Dense and sparse linear algebra, conic optimization, lattice reduction
0.2.1.36_5 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.2.1.36_5Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-12-02 20:27:07
License: BSD2CLAUSE
Dependency lines:
  • dihydrogen>0:math/dihydrogen
dionysus Library for computing persistent homology
g20210521_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout g20210521_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2022-02-02 09:45:14
License: BSD3CLAUSE
Dependency lines:
  • dionysus-topology-library>0:math/dionysus
disco Discrete Conic Optimization Solver
1.0.0.33_8 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.0.0.33_7Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-05-12 19:12:33
License: EPL
Dependency lines:
  • coin-or-disco>0:math/disco
dlib-cpp Machine learning framework written in C++
19.24_1* search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 19.24_1Version of this port present on the latest quarterly branch.
Maintainer: arrowd@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-04-26 20:39:46
Also Listed In: devel science
License: BSL
Dependency lines:
  • dlib-cpp>0:science/dlib-cpp
dqfun Double-quad precision package with special functions
03 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 03Version of this port present on the latest quarterly branch.
Maintainer: fortran@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-11-05 18:33:12
People watching this port, also watch:: SparseBitSet, py39-cysignals, R-cran-eRm, python
License: BSD3CLAUSE
Dependency lines:
  • dqfun>0:math/dqfun
drgeo GTK interactive geometry software
1.1.0_26 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 1.1.0_26Version of this port present on the latest quarterly branch.
Maintainer: amdmi3@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2003-10-06 09:05:45
License: GPLv2+
Dependency lines:
  • drgeo>0:math/drgeo
dsdp Implementation of interior-point method for semidefinite programming
5.8_7 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 5.8_6Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-10-29 05:56:02
License: DSDP_LICENSE
Dependency lines:
  • dsdp>0:math/dsdp
dsfmt Double precision SIMD-oriented Fast Mersenne Twister
2.2.5_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.2.5_1Version of this port present on the latest quarterly branch.
Maintainer: thierry@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-11-12 13:51:06
License: BSD3CLAUSE
Dependency lines:
  • dSFMT>0:math/dsfmt
dune-alugrid DUNE framework: grid implementation providing simplex or cube grids
2.8.0_9 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_8Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-14 22:48:52
License: GPLv2
Dependency lines:
  • dune-alugrid>0:math/dune-alugrid
dune-common DUNE framework: Build system, infrastructure and foundation classes
2.8.0_12 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_11Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-14 22:02:26
License: GPLv2
Dependency lines:
  • dune-common>0:math/dune-common
dune-curvedgeometry DUNE framework: curved dune geometries by Lagrange parameterization
g20201116_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout g20201116_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-01-16 00:54:15
License: GPLv2
Dependency lines:
  • dune-curvedgeometry>0:math/dune-curvedgeometry
dune-fem DUNE framework: Finite Element Methods, Finite Volume Methods, etc
2.8.0.5_20 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0.5_16Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-01-17 03:29:25
License: GPLv3
Dependency lines:
  • dune-fem>0:math/dune-fem
dune-foamgrid DUNE framework: one- and two-dimensional simplex grids
2.8.0_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-01-17 09:11:44
License: GPLv2+
Dependency lines:
  • dune-foamgrid>0:math/dune-foamgrid
dune-functions DUNE framework: Abstraction layer for global finite element functions
2.8.0_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-15 01:53:14
License: GPLv2
Dependency lines:
  • dune-functions>0:math/dune-functions
dune-geometry DUNE framework: Geometry transformations, reference elements, etc
2.8.0_11 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_10Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-14 22:05:00
License: GPLv2
Dependency lines:
  • dune-geometry>0:math/dune-geometry
dune-grid DUNE framework: Geometry transformations, reference elements, etc
2.8.0_11 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_10Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-14 22:11:30
License: GPLv2
Dependency lines:
  • dune-grid>0:math/dune-grid
dune-grid-glue DUNE framework: infrastructure for coupling of unrelated Dune grids
2.8.0_9 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_8Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2021-09-07 16:15:05
License: GPLv2
Dependency lines:
  • dune-grid-glue>0:math/dune-grid-glue
dune-istl DUNE framework: Iterative Solver Template Library
2.8.0_10 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_7Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-14 22:14:33
License: GPLv2
Dependency lines:
  • dune-istl>0:math/dune-istl
dune-localfunctions DUNE framework: Local finite elements
2.8.0_1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.0_1Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-03-14 22:25:19
License: GPLv2
Dependency lines:
  • dune-localfunctions>0:math/dune-localfunctions