Page 1 of 115 | 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.7 | 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: 20230205 | Maintained by: | Categories: math | Variants: universalFast automatic differentiation library in C++
Version: 2023.03.30 | Maintained by: barracuda156 | Categories: math | Variants: g95, gcc10, gcc11, gcc12, 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: 3.20.0 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, universalSparse BLAS lib supporting multiple backends
Version: 2022.03.30 | Maintained by: barracuda156 | Categories: math | Variants: clang10, clang11, clang12, clang13, clang14, clang15, clang90, g95, gcc10, gcc11, gcc12, gfortran, mpich, openmpiAlgebraic Number Theory In C
Version: 2022.11.30 | Maintained by: barracuda156 | Categories: math | Variants: universalA 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.3 | Maintained by: MarcusCalhoun-Lopez | Categories: math | Variants: debug, tests, universalAROW++ 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.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, openmpiC++ simulation engine and differential equation solver
Version: 0.7.1 | Maintained by: barracuda156 | Categories: science math | Variants: debug, universalA SPICE Circuit Optimizer
Version: 0.4.10 | Maintained by: rowue | Categories: science math | Variants: universalCUDF package dependency solver
Version: 1.9.5 | Maintained by: | Categories: devel math | Variants: debug, universalPage 1 of 115 | Showing port(s) 1 to 20