Page 4 of 163 | Showing port(s) 61 to 80
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.5.0 | Maintained by: barracuda156 | Categories: math | Variants: debug, accelerate, atlas, openblas, clang10, clang11, clang12, clang13, clang14, clang15, clang90, g95, gcc10, gcc11, gcc12, gfortran, mpich, openmpi, 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, openblas, clang10, clang11, clang12, clang13, clang14, clang15, clang16, clang50, clang60, clang70, clang80, clang90, clangdevel, g95, gcc10, gcc11, gcc12, gccdevel, gfortran, mpich, openmpi, docs, python, universaldiehard
Marsaglia's Diehard Battery of Tests of Randomness
Version: 0.1 | Maintained by: | Categories: math | Variants:djbfft
D.J. Bernstein's fast fourier transform library
Version: 0.76 | Maintained by: | Categories: math | Variants: universaldlib
Modern C++ toolkit for machine learning, image processing, and more.
Version: 19.24.2 | Maintained by: | Categories: math | Variants: debug, universalDoCon
DoCon is the Algebraic Domain Constructor
Version: 2.11 | Maintained by: | Categories: devel math | Variants: printable_doc, universaldolfin
DOLFIN is a part of FEniCS
Version: 2019.1.0 | Maintained by: | Categories: math | Variants: debug, clang10, clang11, clang12, clang13, clang14, clang15, clang16, clang90, g95, gcc10, gcc11, gcc12, gfortran, mpich, openmpi, cgal, docs, hdf5, parmetis, scotch, suitesparse, petsc, petsc4py, slepc, slepc4pydop853
Modern Fortran implementation of DOP853 ODE solver
Version: 1.3.1 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevel3,245 port(s) found
Page 4 of 163 | Showing port(s) 61 to 80