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

Imath C++/Python lib of 2D/3D vector, matrix, math ops for computer graphics

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

Maintainer: mandree@FreeBSD.org

Port Added: 2022-11-08 23:06:08

Also Listed In: devel graphics

License: BSD3CLAUSE

Dependency lines:

• Imath>0:math/Imath

cvc4 Automatic theorem prover for SMT (Satisfiability Modulo Theories)

1.7_6 1.7_6Version 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

Port Added: 2022-10-09 20:51:07

Also Listed In: java

License: GPLv3

Dependency lines:

• cvc4>0:math/cvc4

eprover Theorem prover for full first-order logic with equality

2.0_1 2.0_1Version 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

Port Added: 2022-10-09 20:51:07

License: LGPL20+ GPLv2+

Dependency lines:

• eprover>0:math/eprover

julia Implementation of Julia, a language for technical computing

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

Maintainer: rizor.reardon@yahoo.com

Port Added: 2022-11-27 11:30:05

Also Listed In: lang

License: MIT

Dependency lines:

• julia>0:lang/julia

php74-bcmath The bcmath shared extension for php

7.4.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 Security Support ends on 2022-11-28
This port expired on: 2022-11-29

Maintainer: tz@FreeBSD.org

Port Added: 2022-10-02 00:24:26

License: PHP301

Dependency lines:

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

php74-gmp The gmp shared extension for php

7.4.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 Security Support ends on 2022-11-28
This port expired on: 2022-11-29

Maintainer: tz@FreeBSD.org

Port Added: 2022-10-02 00:24:26

License: PHP301

Dependency lines:

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

php80-bcmath The bcmath shared extension for php

8.0.25 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: tz@FreeBSD.org

Port Added: 2022-10-01 18:42:13

License: PHP301

Dependency lines:

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

php80-gmp The gmp shared extension for php

8.0.25 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: tz@FreeBSD.org

Port Added: 2022-10-01 18:42:13

License: PHP301

Dependency lines:

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

php81-bcmath The bcmath shared extension for php

8.1.12 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: 2022-10-01 23:42:22

People watching this port, also watch:: cmocka, py311-calver, p5-MIME-Tools, py311-beautifulsoup, tmux

License: PHP301

Dependency lines:

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

php81-gmp The gmp shared extension for php

8.1.12 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: 2022-10-01 23:42:22

License: PHP301

Dependency lines:

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

saga System for Automated Geoscientific Analyses

8.3.1 9.8.1Version of this port present on the latest quarterly branch.

Maintainer: rhurlin@FreeBSD.org

Port Added: 2022-10-13 06:06:08

License: GPLv2 LGPL21

Dependency lines:

• saga>0:math/saga