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

casadi Symbolic framework for numeric optimization

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

Maintainer: yuri@FreeBSD.org

Port Added: 2025-02-19 09:42:04

License: GPLv3

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• casadi>0:math/casadi

coq Theorem prover based on lambda-C

8.19_5,3 8.19_5,3Version of this port present on the latest quarterly branch.

Maintainer: hrs@FreeBSD.org

Port Added: 2025-02-25 02:30:21

License: LGPL21

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• coq>0:math/coq

ess R support for Emacsen

24.01.1_4 24.01.1_4Version of this port present on the latest quarterly branch.

Maintainer: rhurlin@FreeBSD.org

Port Added: 2025-02-25 02:30:21

License: GPLv2+

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• ess>0:math/ess

givaro C++ library for computer algebra

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

Maintainer: pi@FreeBSD.org

Port Added: 2025-01-19 18:21:06

License: CeCILL-Bv1-en.txt

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• givaro>0:math/givaro

heyoka C++ library for ODE integration via Taylor's method and LLVM

6.0.0_2 6.0.0_2Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2025-01-22 18:45:05

License: MPL20

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• heyoka>0:math/heyoka

hs-Agda Dependently typed functional programming language and proof assistant

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

Maintainer: haskell@FreeBSD.org

Port Added: 2025-04-02 06:12:08

Also Listed In: haskell

License: MIT

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• hs-Agda>0:math/hs-Agda

linbox C++ library for exact, high-performance linear algebra

1.7.0_5 1.7.0_5Version of this port present on the latest quarterly branch.

Maintainer: thierry@FreeBSD.org

Port Added: 2025-01-19 18:36:05

License: GPLv2 LGPL21

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• linbox>0:math/linbox

lp_solve Linear Programming Solver

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

Maintainer: mayo@oyam.ca

Port Added: 2025-02-11 13:33:22

License: LGPL21

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• lp_solve>0:math/lp_solve

octave High-level interactive language for numerical computations

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

Maintainer: stephen@FreeBSD.org

Port Added: 2025-01-28 14:34:41

License: GPLv3

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• octave>0:math/octave

octave-forge Octave-forge metaport for math/octave

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

Maintainer: stephen@FreeBSD.org

Port Added: 2025-02-11 23:00:06

License: NA

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• octave-forge>0:math/octave-forge

openturns Uncertainty treatment library

1.23_5 1.23_5Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2025-02-16 16:51:22

License: LGPL3

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• openturns>0:math/openturns

php81-bcmath The bcmath shared extension for php

8.1.32 Package not present on quarterly.This is expected early in the quarter (because the new package 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: 2025-03-22 09:09:07

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.32 Package not present on quarterly.This is expected early in the quarter (because the new package 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: 2025-03-22 09:09:07

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.28 Package not present on quarterly.This is expected early in the quarter (because the new package repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2025-03-22 09:00:12

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.28 Package not present on quarterly.This is expected early in the quarter (because the new package repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2025-03-22 09:00:12

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.19 Package not present on quarterly.This is expected early in the quarter (because the new package repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2025-03-22 09:10:02

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.19 Package not present on quarterly.This is expected early in the quarter (because the new package repo has not been built yet.). Otherwise, this missing version is most likely a FreshPorts error.

Maintainer: bofh@FreeBSD.org

Port Added: 2025-03-22 09:10:02

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

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

php84-bcmath The bcmath shared extension for php

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

Maintainer: bofh@FreeBSD.org

Port Added: 2025-03-22 09:11:46

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

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

php84-gmp The gmp shared extension for php

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

Maintainer: bofh@FreeBSD.org

Port Added: 2025-03-22 09:11:46

License: PHP301

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

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

polymake Software package for research in polyhedral geometry

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

Maintainer: bsd@philippost.de

Port Added: 2025-01-06 23:13:51

License: GPLv2+

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• polymake>0:math/polymake

saga System for Automated Geoscientific Analyses

9.7.2 9.13.1Version of this port present on the latest quarterly branch.

Maintainer: rhurlin@FreeBSD.org

Port Added: 2025-01-09 12:45:52

License: GPLv2 LGPL21

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• saga>0:math/saga

suitesparse-lagraph Graph algorithms based on GraphBLAS

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

Maintainer: fortran@FreeBSD.org

Port Added: 2025-01-21 23:54:11

License: BSD2CLAUSE

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• suitesparse-lagraph>0:math/suitesparse-lagraph