Page 1 of 192 | 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: | Categories: math | Variants: universalaamath
renders ASCII art from mathematical expressions
Version: 0.3 | Maintained by: nerdling | Categories: textproc math | Variants:abella
Interactive theorem prover
Version: 2.0.8.3 | 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, nonstdadd
Fixed-point, full screen calculator.
Version: 20240110 | Maintained by: | Categories: math | Variants: universaladept2
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, universaladmesh
CLI and C library for processing triangulated solid meshes
Version: 0.98.5 | Maintained by: barracuda156 | Categories: math | Variants: universalADOL-C
Algorithmic Differentiation Library for C/C++
Version: 2.7.2 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: universalalglib
a cross-platform numerical analysis and data processing library
Version: 4.01.0 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, universalAlphaSparse
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, openmpiantic
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: universalaquaterm
AquaTerm is a viewer that displays vector graphics on Mac OS X
Version: 1.1.1 | Maintained by: mojca | Categories: aqua science math | Variants: universalarangodb
Multi-model database for documents, graphs, and key-values
Version: 3.8.5.1 | Maintained by: | Categories: databases math | Variants: debugarborx
An open-source library designed to provide performance portable algorithms for geometric search
Version: 1.6 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, testsarowpp
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, openmpiascent
C++ simulation engine and differential equation solver
Version: 0.7.1 | Maintained by: barracuda156 | Categories: science math | Variants: debugasco
A SPICE Circuit Optimizer
Version: 0.4.11 | Maintained by: markemer | Categories: science math | Variants: universalasl
ASL is A Modeling Language for Mathematical Programming (AMPL) Solver Library
Version: 20240106 | Maintained by: | Categories: math | Variants: debug, threads, universal3,821 port(s) found
Page 1 of 192 | Showing port(s) 1 to 20