Page 2 of 133 | 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: 2023.11.05 | Maintained by: barracuda156 | Categories: science math | Variants: debug, accelerate, atlas, 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.0.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:Carlson 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.8 | 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, universalA language that is used to describe sound synthesizers.
Version: 6.18.1 | Maintained by: barracuda156 | Categories: audio | Variants: pulseaudio, tests, universal, debug, double, portaudioPage 2 of 133 | Showing port(s) 21 to 40