Page 1 of 166 | 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: universalaamath
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, nonstdadd
Fixed-point, full screen calculator.
Version: 20230205 | Maintained by: | Categories: math | Variants: universaladept2
Fast automatic differentiation library in C++
Version: 2023.03.30 | Maintained by: barracuda156 | Categories: math | Variants: g95, gcc10, gcc11, gcc12, 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: 3.20.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, clang16, clang90, g95, gcc10, gcc11, gcc12, gfortran, mpich, openmpiantic
Algebraic Number Theory In C
Version: 2022.11.30 | Maintained by: barracuda156 | Categories: math | Variants: universalapophenia
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.3 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, tests, universalarowpp
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.0 | Maintained by: | Categories: math | Variants: accelerate, atlas, openblas, clang10, clang11, clang12, clang13, clang14, clang15, clang50, clang60, clang70, clang80, clang90, clangdevel, g95, gcc10, gcc11, gcc12, gccdevel, gfortran, mpich, openmpiascent
C++ simulation engine and differential equation solver
Version: 0.7.1 | Maintained by: barracuda156 | Categories: science math | Variants: debug, universalasco
A SPICE Circuit Optimizer
Version: 0.4.10 | Maintained by: rowue | Categories: science math | Variants: universalasl
ASL is A Modeling Language for Mathematical Programming (AMPL) Solver Library
Version: 20230901 | Maintained by: catap | Categories: math | Variants: debug, threads, universal3,310 port(s) found
Page 1 of 166 | Showing port(s) 1 to 20