Page 4 of 183 | Showing port(s) 61 to 80
coinor-clp
A solver for linear programs
Version: 1.17.9 | Maintained by: flyingsamson | Categories: math | Variants: openblas, universalcoinor-coinutils
Utilities, data structures, and linear algebra methods for COIN-OR projects
Version: 2.11.10 | Maintained by: flyingsamson | Categories: math | Variants: openblas, universalcoinor-osi
A uniform API for calling embedded linear and mixed-integer programming solvers.
Version: 0.108.9 | Maintained by: flyingsamson | Categories: math | Variants: universalColPack
A graph coloring algorithm package
Version: 1.0.10 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: universalconauto
Program for graph isomorphism testing & automorphism group computation
Version: 2.03 | Maintained by: barracuda156 | Categories: math | Variants:conmax
Modern Fortran CONMAX optimization method for general non-linearly constrained function minimization.
Version: 0.0.1 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevelconvertall
Extremely flexible unit converter
Version: 0.8.0 | Maintained by: khorton | Categories: science math | Variants:coq
Proof assistant for higher-order logic
Version: 8.13.2 | Maintained by: pmetzger | Categories: lang math | Variants: doc, coqidecotila
A compile-time linear algebra system for C++
Version: 1.2.1 | Maintained by: barracuda156 | Categories: science math | Variants: debugcrfpp
Yet Another CRF toolkit
Version: 0.58 | Maintained by: | Categories: textproc math | Variants: universalcrfsuite
A fast implementation of Conditional Random Fields (CRFs)
Version: 0.12.2 | Maintained by: | Categories: textproc math | Variants: universalcurves
Curves provide mapping a point from 1D to 2D hilbert space.
Version: 20220312 | Maintained by: catap | Categories: graphics math | Variants:cusp
Generic Parallel Algorithms for Sparse Matrix and Graph
Version: 0.5.1 | Maintained by: | Categories: science math | Variants:cvc4
An automated theorem prover for SMT problems
Version: 1.4 | Maintained by: | Categories: devel math | Variants: debug, java, universaldaglib
Directed acyclic graphs with modern Fortran
Version: 2021.11.26 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdeveldap
small statistics and graphics package
Version: 3.10 | Maintained by: | Categories: math | Variants: universaldbcsr
Distributed Block Compressed Sparse Row matrix library
Version: 2.6.0 | Maintained by: barracuda156 | Categories: math | Variants: debug, accelerate, atlas, blis, flexiblas, gcc12, openblas, gcc10, gcc11, gcc13, mpich, openmpi, tests, universalddeabm
Modern Fortran implementation of the DDEABM Adams–Bashforth algorithm
Version: 3.0.0 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdeveldeal.ii
a C++ software library supporting the creation of finite element codes
Version: 9.4.2 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: debug, accelerate, atlas, blis, flexiblas, openblas, clang10, clang11, clang12, clang13, clang14, clang15, clang16, clang17, clang50, clang60, clang70, clang80, clang90, clangdevel, g95, gcc10, gcc11, gcc12, gcc13, gccdevel, gfortran, mpich, openmpi, docs, python, universaldiehard
Marsaglia's Diehard Battery of Tests of Randomness
Version: 0.1 | Maintained by: | Categories: math | Variants:3,655 port(s) found
Page 4 of 183 | Showing port(s) 61 to 80