_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/

Enter the query into the form above. You can look for specific version of a package by using @ symbol like this: gcc@10.

API method:

GET /api/packages?search=hello&page=1&limit=20

where search is your query, page is a page number and limit is a number of items on a single page. Pagination information (such as a number of pages and etc) is returned in response headers.

If you'd like to join our channel webring send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.


fp16 0.0-1.0a92994
Dependencies: psimd@0.0-1.072586a googletest@1.8.1 googlebenchmark@1.9.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Maratyszcza/FP16
Licenses: Expat
Build system: cmake
Synopsis: C++ library for half-precision floating point formats
Description:

This header-only C++ library implements conversion to and from half-precision floating point formats.

suitesparse-amd 3.3.3
Propagated dependencies: suitesparse-config@7.10.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://people.engr.tamu.edu/davis/suitesparse.html
Licenses: Modified BSD
Build system: cmake
Synopsis: Sparse matrix ordering for Cholesky factorization
Description:

AMD is a set of routines for ordering a sparse matrix prior to Cholesky factorization (or for LU factorization with diagonal pivoting).

petsc-complex-openmpi 3.24.0
Dependencies: openmpi@4.1.6 gfortran@14.3.0 openblas@0.3.30 superlu@5.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://petsc.org
Licenses: non-copyleft
Build system: gnu
Synopsis: Library to solve PDEs (with complex scalars and MPI support)
Description:

PETSc, pronounced PET-see (the S is silent), is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations.

superlu-dist 6.4.0
Dependencies: gfortran@14.3.0 openblas@0.3.30 combinatorial-blas@1.6.2
Propagated dependencies: openmpi@4.1.6 pt-scotch32@7.0.7 pt-scotch32@7.0.7
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://portal.nersc.gov/project/sparse/superlu/
Licenses: Modified BSD
Build system: cmake
Synopsis: Parallel supernodal direct solver
Description:

SuperLU_DIST is a parallel extension to the serial SuperLU library. It is targeted for distributed memory parallel machines. SuperLU_DIST is implemented in ANSI C, and MPI for communications.

dune-alugrid-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 dune-grid-openmpi@2.10.0 metis@5.1.0 openblas@0.3.30 python@3.11.14 superlu@5.3.0 gmp@6.3.0 zlib@1.3.1 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2+
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

ALUGrid is an adaptive, loadbalancing, unstructured implementation of the DUNE grid interface supporting either simplices or cubes.

blitz 1.0.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/blitzpp/blitz
Licenses: Artistic License 2.0 Modified BSD LGPL 3+
Build system: cmake
Synopsis: C++ template class library for multidimensional arrays
Description:

Blitz++ is a C++ template class library that provides high-performance multidimensional array containers for scientific computing.

suitesparse-camd 3.3.3
Propagated dependencies: suitesparse-config@7.10.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://people.engr.tamu.edu/davis/suitesparse.html
Licenses: Modified BSD
Build system: cmake
Synopsis: Sparse matrix ordering for Cholesky factorization with constraints
Description:

CAMD is a set of routines for ordering a sparse matrix prior to Cholesky factorization (or for LU factorization with diagonal pivoting). It is a variant of AMD which has the the option to apply constraints to the ordering.

suitesparse-spex 3.2.3
Dependencies: suitesparse-amd@3.3.3 suitesparse-colamd@3.3.4
Propagated dependencies: gmp@6.3.0 mpfr@4.2.2 suitesparse-config@7.10.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://people.engr.tamu.edu/davis/suitesparse.html
Licenses: LGPL 3+ GPL 2+
Build system: cmake
Synopsis: Package for SParse EXact algebra
Description:

SPEX is a set of routines for sparse exact linear algebra. It contains the SPEX Left LU library for computing a sparse exact left-looking LU factorization for solving unsymmetric sparse linear systems.

minizinc 2.8.4
Dependencies: cbc@2.10.5 chuffed@0.13.2 gecode@6.2.0-1.f7f0d7c zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.minizinc.org
Licenses: MPL 2.0
Build system: cmake
Synopsis: High-level constraint modeling language
Description:

MiniZinc is a high-level modeling language for constraint satisfaction and optimization problems. Models are compiled to FlatZinc, a language understood by many solvers.

dune-localfunctions 2.10.0
Dependencies: dune-common@2.10.0 dune-geometry@2.10.0 metis@5.1.0 superlu@5.3.0 gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment
Description:

This DUNE module provides interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

This package provides an interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

gklib-suitesparse 5.1.1-1.8bd6bad
Propagated dependencies: suitesparse-config@7.10.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/KarypisLab/GKlib
Licenses: ASL 2.0
Build system: cmake
Synopsis: Helper library for METIS
Description:

GKlib is a library of various helper routines and frameworks used by software from KarypisLab, such as METIS.

netcdf-cxx4-parallel-openmpi 4.3.1
Dependencies: openmpi@4.1.6 hdf5-parallel-openmpi@1.14.6
Propagated dependencies: netcdf-parallel-openmpi@4.9.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Unidata/netcdf-cxx4
Licenses: Modified BSD
Build system: cmake
Synopsis: NetCDF C++ interface (with MPI support)
Description:

This package provides a C++ interface to the NetCDF library for scientific data storage.

why3 1.7.2
Dependencies: coq-flocq@4.1.4 emacs-minimal@30.2 zlib@1.3.1
Propagated dependencies: camlzip@1.11 lablgtk@3.1.3 ocaml-graph@2.0.0 ocaml-lablgtk3-sourceview3@3.1.3 ocaml-menhir@20220210 ocaml-ppx-deriving@5.2.1 ocaml-ppx-sexp-conv@0.15.1 ocaml-num@1.4 ocaml-re@1.10.4 ocaml-sexplib@0.16.0 ocaml-zarith@1.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://why3.lri.fr
Licenses: LGPL 2.1
Build system: ocaml
Synopsis: Deductive program verification
Description:

Why3 provides a language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs.

dune-geometry 2.10.0
Dependencies: dune-common@2.10.0 openblas@0.3.30 gmp@6.3.0 python@3.11.14
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

This package contains the basic DUNE geometry classes.

python-blis 1.2.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/explosion/cython-blis
Licenses: Modified BSD
Build system: pyproject
Synopsis: Blis as a self-contained C-extension for Python
Description:

This package provides the Blis BLAS-like linear algebra library, as a self-contained C-extension for Python.

matio 1.5.23
Dependencies: zlib@1.3.1 hdf5@1.14.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://matio.sourceforge.net/
Licenses: FreeBSD
Build system: gnu
Synopsis: Library for reading and writing MAT files
Description:

Matio is a library for reading and writing MAT files. It supports compressed MAT files, as well as newer (version 7.3) MAT files.

pt-scotch 7.0.7
Dependencies: zlib@1.3.1
Propagated dependencies: openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.labri.fr/perso/pelegrin/scotch/
Licenses: CeCILL-C
Build system: cmake
Synopsis: Programs and libraries for graph algorithms (with MPI)
Description:

SCOTCH is a set of programs and libraries which implement the static mapping and sparse matrix reordering algorithms developed within the SCOTCH project. Its purpose is to apply graph theory, with a divide and conquer approach, to scientific computing problems such as graph and mesh partitioning, static mapping, and sparse matrix ordering, in application domains ranging from structural mechanics to operating systems or bio-chemistry.

ceres-solver 2.0.0
Dependencies: openblas@0.3.30 suitesparse@5.13.0
Propagated dependencies: eigen@3.4.0 gflags@2.2.2 glog@0.5.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://ceres-solver.org/
Licenses: Modified BSD
Build system: cmake
Synopsis: C++ library for solving large optimization problems
Description:

Ceres Solver is a C++ library for modeling and solving large, complicated optimization problems. It is a feature rich, mature and performant library which has been used in production since 2010. Ceres Solver can solve two kinds of problems:

  1. non-linear least squares problems with bounds constraints;

  2. general unconstrained optimization problems.

sundials-openmpi 7.1.1
Dependencies: openblas@0.3.30 suitesparse@5.13.0
Propagated dependencies: openmpi@4.1.6 hypre-openmpi@2.32.0 petsc-openmpi@3.24.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://computation.llnl.gov/projects/sundials
Licenses: Modified BSD
Build system: cmake
Synopsis: SUNDIALS with MPI support
Description:

SUNDIALS is a family of software packages implemented with the goal of providing robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes.

nlopt 2.10.0
Dependencies: guile@3.0.9 octave@10.3.0 python@3.11.14
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://ab-initio.mit.edu/wiki/
Licenses: LGPL 2.1+
Build system: cmake
Synopsis: Library for nonlinear optimization
Description:

NLopt is a library for nonlinear optimization, providing a common interface for a number of different free optimization routines available online as well as original implementations of various other algorithms.

highs 1.10.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://highs.dev
Licenses: Expat
Build system: cmake
Synopsis: High performance software for linear optimization
Description:

HiGHS provides serial and parallel solvers for large-scale sparse linear programming (LP), mixed-integer programming (MIP), and quadratic programming (QP) models

dealii 9.7.1
Dependencies: arpack-ng@3.9.1 openblas@0.3.30 gfortran@14.3.0 muparser@2.3.5 taskflow@3.10.0 zlib@1.3.1
Propagated dependencies: boost@1.89.0 hdf5@1.14.6 kokkos@4.6.02 suitesparse@5.13.0 sundials@7.1.1 tbb@2021.6.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.dealii.org/
Licenses: LGPL 2.1+
Build system: cmake
Synopsis: Finite element library
Description:

Deal.II is a C++ program library targeted at the computational solution of partial differential equations using adaptive finite elements. The main aim of deal.II is to enable rapid development of modern finite element codes, using among other aspects adaptive meshes and a wide array of tools often used in finite element programs.

hypre-openmpi 2.32.0
Dependencies: openmpi@4.1.6 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://computing.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods
Licenses: LGPL 2.1
Build system: gnu
Synopsis: Parallel solvers and preconditioners for linear equations
Description:

HYPRE is a software library of high performance preconditioners and solvers for the solution of large, sparse linear systems of equations on parallel computers. It features parallel multigrid solvers for both structured and unstructured grid problems.

elemental 0.87.7-0.6eb15a0
Dependencies: gfortran@14.3.0 gmp@6.3.0 metis@5.1.0 mpc@1.3.1 mpfr@4.2.2 openmpi@4.1.6 qd@2.3.24 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/elemental/Elemental
Licenses: FreeBSD
Build system: cmake
Synopsis: Dense and sparse-direct linear algebra and optimization
Description:

Elemental is a modern C++ library for distributed-memory dense and sparse-direct linear algebra, conic optimization, and lattice reduction.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31087