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

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.


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.

gnuplot 6.0.1
Dependencies: cairo@1.18.4 gd@2.3.3 libcerf@1.14 lua@5.3.5 pango@1.54.0 readline@8.2.13
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://www.gnuplot.info
Licenses: FSF-free
Build system: gnu
Synopsis: Command-line driven graphing utility
Description:

Gnuplot is a portable command-line driven graphing utility. It was originally created to allow scientists and students to visualize mathematical functions and data interactively, but has grown to support many non-interactive uses such as web scripting. It is also used as a plotting engine by third-party applications like Octave.

python-mathics-django 8.0.1
Propagated dependencies: python-django@5.2.8 python-mathics-scanner@1.4.1 python-mathics-core@8.0.1 python-matplotlib@3.8.2 python-networkx@3.4.2 python-pygments@2.19.1 python-requests@2.32.5
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mathics.org/
Licenses: GPL 3
Build system: pyproject
Synopsis: A Django front end for Mathics3.
Description:

This package provides a Django front end for Mathics3.

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.

lis 2.1.8
Dependencies: openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.ssisc.org/lis
Licenses: Modified BSD
Build system: gnu
Synopsis: Solve discretized linear equations and eigenvalue problems
Description:

Lis is a parallel software library for solving discretized linear equations and eigenvalue problems that arise in the numerical solution of partial differential equations using iterative methods.

mumps-openmpi 5.8.0
Dependencies: openmpi@4.1.6 scalapack@2.2.2 pt-scotch@7.0.7 gfortran@14.3.0 openblas@0.3.30 metis@5.1.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mumps-solver.org
Licenses: CeCILL-C
Build system: gnu
Synopsis: Multifrontal sparse direct solver (with MPI)
Description:

MUMPS (MUltifrontal Massively Parallel sparse direct Solver) solves a sparse system of linear equations A x = b using Gaussian elimination.

xaos 4.3.3
Dependencies: libx11@1.8.12 zlib@1.3.1 libpng@1.6.39 gsl@2.8
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://xaos-project.github.io/
Licenses: GPL 2+
Build system: gnu
Synopsis: Real-time fractal zoomer
Description:

GNU XaoS is a graphical program that generates fractal patterns and allows you to zoom in and out of them infinitely in a fluid, continuous manner. It also includes tutorials that help to explain how fractals are built. It can generate many different fractal types such as the Mandelbrot set.

metis 5.2.1
Dependencies: gklib@5.1.1-1.8bd6bad openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://glaros.dtc.umn.edu/gkhome/metis/metis/overview
Licenses: ASL 2.0
Build system: cmake
Synopsis: Graph partitioning and fill-reducing matrix ordering library
Description:

METIS is a set of serial programs for partitioning graphs, partitioning finite element meshes, and producing fill-reducing orderings for sparse matrices. The algorithms implemented in METIS are based on the multilevel recursive-bisection, multilevel k-way, and multi-constraint partitioning schemes.

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.

speedcrunch 0.12.0
Dependencies: qtbase@5.15.17
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://speedcrunch.org/
Licenses: GPL 2+
Build system: cmake
Synopsis: High-precision scientific calculator
Description:

SpeedCrunch is a high-precision scientific calculator. It features a syntax-highlighted scrollable display and is designed to be fully used via keyboard. Some distinctive features are auto-completion of functions and variables, a formula book, and quick insertion of constants from various fields of knowledge.

mcrl2 202307.1
Dependencies: boost@1.89.0 glu@9.0.2 mesa@25.2.3 qtbase@5.15.17
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mcrl2.org
Licenses: Boost 1.0
Build system: cmake
Synopsis: Toolset for the mCRL2 formal specification language
Description:

mCRL2 (micro Common Representation Language 2) is a formal specification language for describing concurrent discrete event systems. Its toolset supports analysis and automatic verification, linearisation, simulation, state-space exploration and generation, and tools to optimise and analyse specifications. Also, state spaces can be manipulated, visualised and analysed.

petsc-openmpi 3.24.0
Dependencies: hdf5-parallel-openmpi@1.14.6 hypre-openmpi@2.32.0 metis@5.1.0 mumps-openmpi@5.8.0 openmpi@4.1.6 scalapack@2.2.2 pt-scotch32@7.0.7 pt-scotch32@7.0.7 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 MUMPS 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.

itex2mml 1.6.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://golem.ph.utexas.edu/~distler/blog/itex2MML.html
Licenses: LGPL 2.0+ GPL 2+ MPL 1.1
Build system: gnu
Synopsis: LaTeX to XHTML/MathML converter
Description:

The itex2MML utility is a stream filter. It takes text with embedded itex equations, converts the itex equations to MathML, and outputs the resulting text.

lapack 3.12.1
Dependencies: gfortran@14.3.0 python-wrapper@3.11.14
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.netlib.org/lapack/
Licenses: non-copyleft
Build system: cmake
Synopsis: Library for numerical linear algebra
Description:

LAPACK is a Fortran 90 library for solving the most commonly occurring problems in numerical linear algebra.

glm 1.0.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://glm.g-truc.net/
Licenses: Expat
Build system: cmake
Synopsis: OpenGL Mathematics library
Description:

OpenGL Mathematics (GLM) is a header-only C++ mathematics library for graphics software based on the OpenGL Shading Language (GLSL) specifications.

trilinos-zoltan 16.1.0
Dependencies: openmpi@4.1.6 perl@5.36.0 python@3.11.14 python-wrapper@3.11.14 tcsh@6.24.15 pt-scotch@7.0.7 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://trilinos.github.io/
Licenses: Modified BSD
Build system: cmake
Synopsis: Parallel partitioning, load balancing and data-management services
Description:

The Zoltan library is a collection of data management services for parallel, unstructured, adaptive, and dynamic applications. It simplifies the load-balancing, data movement, unstructured communication, and memory usage difficulties that arise in dynamic applications such as adaptive finite-element methods, particle methods, and crash simulations. Zoltan's data-structure neutral design also lets a wide range of applications use it without imposing restrictions on application data structures. Its object-based interface provides a simple and inexpensive way for application developers to use the library and researchers to make new capabilities available under a common interface.

sundials 7.1.1
Dependencies: openblas@0.3.30 suitesparse@5.13.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: Suite of nonlinear and differential/algebraic equation solvers
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.

hmat 1.10.0
Dependencies: openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/jeromerobert/hmat-oss
Licenses: GPL 2+
Build system: cmake
Synopsis: Hierarchical matrix library
Description:

hmat-oss is hierarchical matrix library written in C++ with a C API. It contains a LU and LLt solver, and a few other things.

hdf5-java 1.14.6
Dependencies: java-slf4j-api@1.7.25 libjpeg-turbo@2.1.4 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: Java interface for the HDF5 library
Description:

The Java HDF5 Interface (JHI5) uses the Java Native Interface to wrap the HDF5 library, which is implemented in C.

hdf5 1.10.9
Dependencies: 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: gnu
Synopsis: Management suite for extremely large and complex data
Description:

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

hdf-eos5 2.0
Dependencies: gctp@2.0.0 hdf5@1.14.6 libaec@1.0.6 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.hdfeos.org/software/library.php#HDF-EOS5
Licenses: non-copyleft
Build system: gnu
Synopsis: HDF5-based data format for NASA's Earth Observing System
Description:

HDF-EOS5 is a software library built on HDF5 to support the construction of data structures used in NASA's Earth Observing System (Grid, Point and Swath).

ocaml-z3 4.13.0
Dependencies: z3@4.13.0
Propagated dependencies: ocaml-zarith@1.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Z3Prover/z3
Licenses: Expat
Build system: gnu
Synopsis: Theorem prover
Description:

Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.

python-orthopy 0.9.5
Propagated dependencies: python-importlib-metadata@8.7.0 python-ndim@0.1.6 python-numpy@1.26.4 python-sympy@1.13.3
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/diego-hayashi/orthopy
Licenses: GPL 3+
Build system: pyproject
Synopsis: Tools for orthogonal polynomials, Gaussian quadrature
Description:

orthopy provides various orthogonal polynomial classes for lines, triangles, quadrilaterals, disks, spheres, hexahedra, and n-cubes. All computations are done using numerically stable recurrence schemes. Furthermore, all functions are fully vectorized and can return results in exact arithmetic.

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.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31087