Page 2 of 134 | Showing port(s) 21 to 40
FEniCS finite element basis evaluation library
Version: 0.7.0 | Maintained by: barracuda156 | Categories: science | Variants: debug, universalBearSSL is an implementation of the SSL/TLS protocol (RFC 5246) written in C
Version: 0.6 | Maintained by: barracuda156 | Categories: devel crypto | Variants:C++ API for the Basic Linear Algebra Subroutines
Version: 2024.05.31 | Maintained by: barracuda156 | Categories: science math | Variants: debug, accelerate, atlas, blis, flexiblas, openblas, universalBLAS-like Library Instantiation Software Framework
Version: 1.0 | Maintained by: barracuda156, catap | Categories: math | Variants: universalButterflyPACK is a mathematical software for rapidly solving large-scale dense linear systems that exhibit off-diagonal rank-deficiency
Version: 3.1.0 | Maintained by: barracuda156 | Categories: science math | Variants: debug, accelerate, atlas, blis, flexiblas, openblas, clang10, clang11, clang12, clang13, clang14, clang15, clang16, clang17, clang18, clang90, g95, gcc10, gcc11, gcc12, gcc13, gfortran, mpich, openmpi, universalSingle-file object-oriented unit testing utility for Coarray Fortran
Version: 2023.06.30 | Maintained by: barracuda156 | Categories: devel fortran | Variants:Small TUI journaling tool
Version: 1.0.1 | Maintained by: NikolaDucak, barracuda156 | Categories: sysutils | Variants: debug, universalCarlson symmetric forms of elliptic integrals
Version: 1.0.0 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevelcgmnlm is a colorful Gemini line mode client
Version: 1.7 | Maintained by: barracuda156 | Categories: net gemini | Variants: universalCopy-hiding array abstraction to automatically migrate data between memory spaces
Version: 2024.02.0 | Maintained by: barracuda156 | Categories: devel | Variants: debug, clang10, clang11, clang12, clang13, clang14, clang15, clang17, clang18, clang90, g95, gcc10, gcc11, gcc12, gcc13, gfortran, mpich, openmpi, universalThe FPC Pascal htmlhelp (CHM) compiler
Version: 3.2.2 | Maintained by: kamischi, barracuda156 | Categories: lang pascal | Variants:Extension of clingo to handle constraints over integers
Version: 5.2.1 | Maintained by: barracuda156 | Categories: math | Variants: debug, universalAn Answer Set Programming system to ground and solve logic programs.
Version: 5.7.1 | Maintained by: barracuda156 | Categories: math | Variants: debug, universalCompute Igusa class polynomials
Version: 1.1.1 | Maintained by: barracuda156 | Categories: math | Variants: universalSolving nonlinear equations and nonlinear least squares problems
Version: 1.3.9 | Maintained by: barracuda156 | Categories: math | Variants: debug, universalIRC client for desktop environments
Version: 2022.08.14 | Maintained by: barracuda156 | Categories: irc | Variants: debugProgram for graph isomorphism testing & automorphism group computation
Version: 2.03 | Maintained by: barracuda156 | Categories: math | Variants: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, gccdevelA compile-time linear algebra system for C++
Version: 1.2.1 | Maintained by: barracuda156 | Categories: science math | Variants: debugA single file C++ header-only PEG (Parsing Expression Grammars) library
Version: 1.8.8 | Maintained by: barracuda156 | Categories: devel | Variants: debug, universalPage 2 of 134 | Showing port(s) 21 to 40