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

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

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

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

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

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

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

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
EXPIRATION DATE: 2025-12-31

Maintainer: bofh@FreeBSD.org

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

License: PHP301

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
EXPIRATION DATE: 2025-12-31

Maintainer: bofh@FreeBSD.org

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

License: PHP301

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

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

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

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

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

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

Dependency lines:

• root>0:devel/root