Maintainer:
Suggested:
Category:
Suggested:
Variant:
Suggested:
File installed:
Port version:


Reset all filters
3,732 port(s) found

Page 1 of 187 | Showing port(s) 1 to 20


4ti2

A software package for algebraic, geometric and combinatorial problems on linear spaces.

Version: 1.6.10 | Maintained by: catap | Categories: math | Variants: universal

aamath

renders ASCII art from mathematical expressions

Version: 0.3 | Maintained by: nerdling | Categories: textproc math | Variants:

abella

Interactive theorem prover

Version: 2.0.7 | Maintained by: barracuda156 | Categories: math ocaml | Variants:

acl2

Applicative Common Lisp / A Computational Logic

Version: 8.3 | Maintained by: JacksonIsaac | Categories: math | Variants: emacs, ccl, certify, regression, nonstd

add

Fixed-point, full screen calculator.

Version: 20240110 | Maintained by: | Categories: math | Variants: universal

adept2

Fast automatic differentiation library in C++

Version: 2024.01.24 | Maintained by: barracuda156 | Categories: math | Variants: accelerate, atlas, blis, flexiblas, openblas, g95, gcc10, gcc11, gcc12, gcc13, gccdevel, universal

admesh

CLI and C library for processing triangulated solid meshes

Version: 0.98.5 | Maintained by: barracuda156 | Categories: math | Variants: universal

ADOL-C

Algorithmic Differentiation Library for C/C++

Version: 2.7.2 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: universal

alglib

a cross-platform numerical analysis and data processing library

Version: 4.01.0 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, universal

AlphaSparse

Sparse BLAS lib supporting multiple backends

Version: 2023.06.19 | Maintained by: barracuda156 | Categories: math | Variants: clang10, clang11, clang12, clang13, clang14, clang15, clang90, g95, gcc10, gcc11, gcc12, gcc13, gfortran, mpich, openmpi

antic

Obsolete port, replaced by flint

Version: 2022.11.30 | Maintained by: | Categories: math | Variants:

apophenia

A C library for statistical and scientific computing

Version: 20160308 | Maintained by: | Categories: science math | Variants: universal

aquaterm

AquaTerm is a viewer that displays vector graphics on Mac OS X

Version: 1.1.1 | Maintained by: mojca | Categories: aqua science math | Variants: universal

arangodb

Multi-model database for documents, graphs, and key-values

Version: 3.8.5.1 | Maintained by: | Categories: databases math | Variants: debug

arborx

An open-source library designed to provide performance portable algorithms for geometric search

Version: 1.5 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, tests

arowpp

AROW++ An implementation of the efficient confidence-weighted classifier

Version: 0.1.3 | Maintained by: | Categories: textproc math | Variants:

arpack

Package for solving large-scale eigenvalue problems

Version: 3.9.1 | Maintained by: | Categories: math | Variants: atlas, openblas, clang10, clang11, clang12, clang13, clang14, accelerate, clang15, clang16, clang17, clang50, clang60, clang70, clang80, clang90, clangdevel, g95, gcc10, gcc11, gcc12, gcc13, gccdevel, gfortran, mpich, openmpi

ascent

C++ simulation engine and differential equation solver

Version: 0.7.1 | Maintained by: barracuda156 | Categories: science math | Variants: debug

asco

A SPICE Circuit Optimizer

Version: 0.4.11 | Maintained by: markemer | Categories: science math | Variants: universal

asl

ASL is A Modeling Language for Mathematical Programming (AMPL) Solver Library

Version: 20231117 | Maintained by: catap | Categories: math | Variants: debug, threads, universal

3,732 port(s) found

Page 1 of 187 | Showing port(s) 1 to 20