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

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.


python-accupy 0.3.6
Propagated dependencies: eigen@3.4.0 python-mpmath@1.3.0 python-pyfma@0.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/diego-hayashi/accupy
Licenses: GPL 3+
Build system: pyproject
Synopsis: Accurate calculation of sums and dot products
Description:

accupy is a Python library for accurately computing sums and (dot) products. It implements Kahan summation, Shewchuck's algorithm and summation in K-fold precision.

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.

suitesparse-btf 2.3.2
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: LGPL 2.1+
Build system: cmake
Synopsis: Library for permuting matrices into block upper triangular form
Description:

BTF (Block Triangular Form) is a C library for permuting a matrix into block upper triangular form.

n2p2 2.3.0
Dependencies: openmpi@4.1.6 gsl@2.8 openblas@0.3.30 eigen@3.4.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://compphysvienna.github.io/n2p2/
Licenses: GPL 3+
Build system: gnu
Synopsis: Neural network potentials for chemistry and physics
Description:

This package contains software that will allow you to use existing neural network potential parameterizations to predict energies and forces (with standalone tools but also in conjunction with the MD software LAMMPS). In addition it is possible to train new neural network potentials with the provided training tools.

combinatorial-blas 1.6.2
Dependencies: openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://people.eecs.berkeley.edu/~aydin/CombBLAS/html/
Licenses: GPL 2+ X11 Modified BSD
Build system: cmake
Synopsis: Linear algebra primitives for graph analytics
Description:

The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.

netcdf-cxx4 4.3.1
Dependencies: hdf5@1.14.6
Propagated dependencies: netcdf@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
Description:

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

muparser 2.3.5
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://beltoforion.de/en/muparser
Licenses: Expat
Build system: cmake
Synopsis: Fast parser library for mathematical expressions
Description:

muParser is an extensible high performance math parser library. It is based on transforming an expression into a bytecode and precalculating constant parts of it.

elpa 2018.11.001
Dependencies: openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://elpa.mpcdf.mpg.de
Licenses: LGPL 3
Build system: gnu
Synopsis: Eigenvalue solvers for symmetric matrices
Description:

The ELPA library provides efficient and scalable direct eigensolvers for symmetric matrices.

python-petsc4py 3.24.0
Dependencies: petsc-openmpi@3.24.0 python-numpy@1.26.4
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://bitbucket.org/petsc/petsc4py/
Licenses: Modified BSD
Build system: python
Synopsis: Python bindings for PETSc
Description:

PETSc, the Portable, Extensible Toolkit for Scientific Computation, is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication. petsc4py provides Python bindings to almost all functions of PETSc.

hdf5-parallel-openmpi 1.14.6
Dependencies: openmpi@4.1.6 libaec@1.0.6 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.hdfgroup.org
Licenses: X11-style
Build system: cmake
Synopsis: Management suite for data with parallel IO support
Description:

HDF5 is a suite that makes possible the management of extremely large and complex data collections.

python-libensemble 1.4.2
Propagated dependencies: python-mpmath@1.3.0 python-numpy@1.26.4 python-psutil@7.0.0 python-pydantic@2.10.4 python-pyyaml@6.0.2 python-tomli@2.2.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Libensemble/libensemble
Licenses: Modified BSD
Build system: pyproject
Synopsis: Toolkit for dynamic ensembles of calculations
Description:

libensemble is a complete toolkit for dynamic ensembles of calculations. It connects deciders to experiments or simulations.

python-mathics-core 8.0.1
Dependencies: llvm@13.0.1
Propagated dependencies: python-mpmath@1.3.0 python-pint@0.24.4 python-palettable@3.3.3 python-pympler@1.1 python-stopit@1.1.2 python-sympy@1.13.3 python-numpy@1.26.4 python-mathics-scanner@1.4.1 python-pillow@11.1.0 python-dateutil@2.9.0 python-requests@2.32.5 python-llvmlite@0.44.0 python-scipy@1.12.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mathics.org/
Licenses: GPL 3
Build system: pyproject
Synopsis: Computer algebra system
Description:

This package provides a computer algebra system--an alternative to Wolfram.

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.

itpp 4.3.1
Dependencies: fftw@3.3.10 lapack@3.12.1 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://itpp.sourceforge.net
Licenses: GPL 3+
Build system: cmake
Synopsis: C++ library of maths, signal processing and communication classes
Description:

IT++ is a C++ library of mathematical, signal processing and communication classes and functions. Its main use is in simulation of communication systems and for performing research in the area of communications. The kernel of the library consists of generic vector and matrix classes, and a set of accompanying routines. Such a kernel makes IT++ similar to MATLAB, GNU Octave or SciPy.

opencascade-occt 7.6.2
Dependencies: freetype@2.13.3 glu@9.0.2 libxext@1.3.6 libxi@1.8.2 libxmu@1.2.1 mesa@25.2.3 tbb@2020.3 tcl@8.6.12 tk@8.6.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.opencascade.com
Licenses: LGPL 2.1 Expat GPL 3+ non-copyleft Public Domain
Build system: cmake
Synopsis: Libraries for 3D modeling and numerical simulation
Description:

Open CASCADE is a set of libraries for the development of applications dealing with 3D CAD data or requiring industrial 3D capabilities. It includes C++ class libraries providing services for 3D surface and solid modeling, CAD data exchange, and visualization. It is used for development of specialized software dealing with 3D models in design (CAD), manufacturing (CAM), numerical simulation (CAE), measurement equipment (CMM), and quality control (CAQ) domains.

This is the certified version of the Open Cascade Technology (OCCT) library.

libtaylor 0-0.88709f0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/uekstrom/libtaylor
Licenses: Expat
Build system: cmake
Synopsis: C++ library for automatic differentiation
Description:

This is a header-only C++ library for calculating analytical derivatives and taylor expansions of composite functions.

cbc 2.10.5
Dependencies: openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.coin-or.org
Licenses: EPL 1.0
Build system: gnu
Synopsis: Branch-and-cut solver
Description:

Cbc (Coin-or branch and cut) is a mixed integer linear programming solver written in C++. It can be used as a library or as a standalone executable.

cudd 3.0.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/ivmai/cudd
Licenses: Modified BSD
Build system: gnu
Synopsis: Manipulate decision diagrams
Description:

CUDD is a library for manipulating decision diagrams. It supports binary decision diagrams, algebraic decision diagrams, and zero-suppressed binary decision diagrams.

fxdiv 0.0-1.63058ef
Dependencies: googletest@1.8.1 googlebenchmark@1.9.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Maratyszcza/FXdiv
Licenses: Expat
Build system: cmake
Synopsis: C++ library for division via fixed-point multiplication by inverse
Description:

On modern CPUs and GPUs, integer division is several times slower than multiplication. FXdiv implements an algorithm to replace an integer division with a multiplication and two shifts. This algorithm improves performance when an application performs repeated divisions by the same divisor.

boolector 3.2.2
Dependencies: btor2tools@1.0.0-pre-2.fb69ee3 boost@1.89.0 cryptominisat@5.11.22 louvain-community@1.0.0-2.681a711 sqlite@3.39.3 gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://boolector.github.io
Licenses: LGPL 3+
Build system: cmake
Synopsis: Bitvector-based theory solver
Description:

Boolector is a SMT solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

hdf4-alt 4.2.16-2
Dependencies: zlib@1.3.1 libjpeg-turbo@2.1.4 libtirpc@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.hdfgroup.org/products/hdf4/
Licenses: non-copyleft
Build system: gnu
Synopsis: HDF4 without netCDF API, can be combined with the regular netCDF library
Description:

HDF4 is a library and multi-object file format for storing and managing data between machines. HDF4 is an older hierarchical data format, incompatible with HDF5.

highfive 2.10.1
Dependencies: hdf5@1.14.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://bluebrain.github.io/HighFive/
Licenses: X11-style
Build system: cmake
Synopsis: Header-only C++ HDF5 interface
Description:

HighFive is a header-only C++11 friendly interface for libhdf5. It supports STL vector/string, Boost::UBLAS, Boost::Multi-array and Xtensor; and handles C++ from/to HDF5 with automatic type mapping. HighFive does not require additional libraries.

python-mathicsscript 8.0.0
Propagated dependencies: python-click@8.1.8 python-colorama@0.4.6 python-columnize@0.3.11 python-mathics-pygments@1.0.4 python-mathics-scanner@1.4.1 python-mathics-core@8.0.1 python-networkx@3.4.2 python-prompt-toolkit@3.0.51 python-pygments@2.19.1 python-term-background@1.0.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mathics.org/
Licenses: GPL 3
Build system: pyproject
Synopsis: Command-line interface to Mathics3
Description:

This package provides a command-line interface to Mathics3.

lrslib 7.2
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://cgm.cs.mcgill.ca/~avis/C/lrs.html
Licenses: GPL 2+
Build system: gnu
Synopsis: Convex hulls of polyhedra with exact arithmetic
Description:

The C code of lrslib implements the reverse search algorithm for vertex enumeration and convex hull problems. Its input file format is compatible with cddlib. All computations are done exactly in either multiple precision or fixed integer arithmetic. Output is not stored in memory, so even problems with very large output sizes can sometimes be solved.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31091