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

abella Interactive theorem prover

2.0.7 2.0.7Version of this port present on the latest quarterly branch.

BROKEN: until https://github.com/abella-prover/abella/issues/154 is resolved
IGNORE: is marked as broken: until https://github.com/abella-prover/abella/issues/154 is resolved

Maintainer: yuri@FreeBSD.org

Port Added: 2024-05-12 18:18:06

License: GPLv3

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• abella>0:math/abella

ceres-solver Nonlinear least squares minimizer

2.2.0_8 2.2.0_8Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2024-05-18 17:33:06

License: BSD3CLAUSE

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ceres-solver>0:math/ceres-solver

colpack Graph Coloring Algorithm Package

1.0.10.249_1 1.0.10.249_1Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2024-05-27 21:03:05

License: BSD3CLAUSE

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• colpack>0:math/colpack

giacxcas Computer algebra system

1.9.0.85 1.9.0.85Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2024-05-07 07:18:47

License: GPLv3 DOC

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• giacxcas>0:math/giacxcas

kamis Maximum independent sets and vertex covers of large sparse graphs

2.1 2.1Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2024-04-28 09:03:12

License: MIT

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• kamis>0:math/kamis

kfr C++ DSP framework, FFT, Sample Rate Conversion, FIR/IIR/Biquad Filters

6.0.2 6.0.2Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2024-04-28 08:36:05

License: GPLv2

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• kfr>0:math/kfr

lean4 Theorem prover and functional language for math (new gen)

4.6.0 4.6.0Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2024-05-06 08:45:10

Also Listed In: devel lang

License: APACHE20

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• lean4>0:math/lean4

php81-bcmath The bcmath shared extension for php

8.1.29 Package not present on quarterly.This is expected early in the quarter (because the new packaage repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

DEPRECATED: Upstream EOL reaches on 2025-12-31
This port expired on: 2025-12-31

Maintainer: bofh@FreeBSD.org

Port Added: 2024-04-17 13:00:13

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ${PHP_PKGNAMEPREFIX}bcmath>0:math/php81-bcmath

php81-gmp The gmp shared extension for php

8.1.29 Package not present on quarterly.This is expected early in the quarter (because the new packaage repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

DEPRECATED: Upstream EOL reaches on 2025-12-31
This port expired on: 2025-12-31

Maintainer: bofh@FreeBSD.org

Port Added: 2024-04-17 13:00:13

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ${PHP_PKGNAMEPREFIX}gmp>0:math/php81-gmp

php82-bcmath The bcmath shared extension for php

8.2.18 Package not present on quarterly.This is expected early in the quarter (because the new packaage repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2024-04-17 13:01:11

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ${PHP_PKGNAMEPREFIX}bcmath>0:math/php82-bcmath

php82-gmp The gmp shared extension for php

8.2.18 Package not present on quarterly.This is expected early in the quarter (because the new packaage repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2024-04-17 13:01:11

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ${PHP_PKGNAMEPREFIX}gmp>0:math/php82-gmp

php83-bcmath The bcmath shared extension for php

8.3.6 Package not present on quarterly.This is expected early in the quarter (because the new packaage repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2024-04-17 13:02:14

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ${PHP_PKGNAMEPREFIX}bcmath>0:math/php83-bcmath

php83-gmp The gmp shared extension for php

8.3.6 Package not present on quarterly.This is expected early in the quarter (because the new packaage repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2024-04-17 13:02:14

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ${PHP_PKGNAMEPREFIX}gmp>0:math/php83-gmp

py-pyaudi Library implementing the algebra of Taylor polynomials

1.9.2.1_8 1.9.2.1_8Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2024-05-05 21:51:06

License: GPLv2

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ${PYTHON_PKGNAMEPREFIX}pyaudi>0:math/py-pyaudi@${PY_FLAVOR}

root Data analysis framework made at CERN

6.32.00^* 6.32.00Version of this port present on the latest quarterly branch.

Maintainer: erik@tenku.dk

Port Added: 2024-06-22 17:57:04

Also Listed In: devel parallel python science

License: LGPL21

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• root>0:devel/root