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

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

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+

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

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

Dependency lines:

• heyoka>0:math/heyoka

hs-Agda Dependently typed functional programming language and proof assistant

2.7.0.1_1 Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one.

Maintainer: haskell@FreeBSD.org

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

Also Listed In: haskell

License: MIT

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

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

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

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

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

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 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: 2025-03-22 09:09:07

License: PHP301

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 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: 2025-03-22 09:09:07

License: PHP301

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 packaage 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

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 packaage 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

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 packaage 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

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 packaage 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

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 packaage 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

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 packaage 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

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+

Dependency lines:

• polymake>0:math/polymake

saga System for Automated Geoscientific Analyses

9.7.2 9.8.0_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

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

Dependency lines:

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