Page 1 of 191 | Showing port(s) 1 to 20
A software package for algebraic, geometric and combinatorial problems on linear spaces.
Version: 1.6.10 | Maintained by: catap | Categories: math | Variants: universalrenders ASCII art from mathematical expressions
Version: 0.3 | Maintained by: nerdling | Categories: textproc math | Variants:Interactive theorem prover
Version: 2.0.8.3 | Maintained by: barracuda156 | Categories: math ocaml | Variants:Applicative Common Lisp / A Computational Logic
Version: 8.3 | Maintained by: JacksonIsaac | Categories: math | Variants: emacs, ccl, certify, regression, nonstdFixed-point, full screen calculator.
Version: 20240110 | Maintained by: | Categories: math | Variants: universalFast 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, universalCLI and C library for processing triangulated solid meshes
Version: 0.98.5 | Maintained by: barracuda156 | Categories: math | Variants: universalAlgorithmic Differentiation Library for C/C++
Version: 2.7.2 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: universala cross-platform numerical analysis and data processing library
Version: 4.01.0 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, universalSparse 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, openmpiObsolete port, replaced by flint
Version: 2022.11.30 | Maintained by: | Categories: math | Variants:A C library for statistical and scientific computing
Version: 20160308 | Maintained by: | Categories: science math | Variants: universalAquaTerm is a viewer that displays vector graphics on Mac OS X
Version: 1.1.1 | Maintained by: mojca | Categories: aqua science math | Variants: universalMulti-model database for documents, graphs, and key-values
Version: 3.8.5.1 | Maintained by: | Categories: databases math | Variants: debugAn open-source library designed to provide performance portable algorithms for geometric search
Version: 1.6 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, testsAROW++ An implementation of the efficient confidence-weighted classifier
Version: 0.1.3 | Maintained by: | Categories: textproc math | Variants: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, openmpiC++ simulation engine and differential equation solver
Version: 0.7.1 | Maintained by: barracuda156 | Categories: science math | Variants: debugA SPICE Circuit Optimizer
Version: 0.4.11 | Maintained by: markemer | Categories: science math | Variants: universalASL is A Modeling Language for Mathematical Programming (AMPL) Solver Library
Version: 20240106 | Maintained by: catap | Categories: math | Variants: debug, threads, universalPage 1 of 191 | Showing port(s) 1 to 20