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

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.


sundials-openmpi 5.8.0
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.

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.

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

SLEPc, the Scalable Library for Eigenvalue Problem Computations, is based on PETSc, the Portable, Extensible Toolkit for Scientific Computation. It employs the MPI standard for all message-passing communication. slepc4py provides Python bindings to almost all functions of SLEPc.

z3 4.13.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Z3Prover/z3
Licenses: Expat
Build system: cmake
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.

mcrl2-minimal 202307.1
Dependencies: boost@1.89.0
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.

veusz 4.2
Dependencies: bash-minimal@5.2.37 ghostscript@9.56.1 python-dbus@1.2.18 python-h5py@3.13.0 python-pyqt@6.9.1 qtbase@6.9.2 qtsvg@6.9.2 qtwayland@6.9.2
Propagated dependencies: python-numpy@1.26.4
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://veusz.github.io/
Licenses: GPL 2+
Build system: pyproject
Synopsis: Scientific plotting package
Description:

Veusz is a scientific plotting and graphing program with a graphical user interface, designed to produce publication-ready 2D and 3D plots. In addition it can be used as a module in Python for plotting. It supports vector and bitmap output, including PDF, Postscript, SVG and EMF.

dozenal 12010904-3-1.328bc03
Dependencies: bash-minimal@5.2.37 libhdate@1.6.02 lua@5.3.5 ncurses@6.2.20210619 perl@5.36.0 perl-tk@804.036 perl-par@1.018 xforms@1.3.0-1.2c1a9f1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://codeberg.org/dgoodmaniii/dozenal
Licenses: GPL 3+
Build system: gnu
Synopsis: Suite of dozenal programs
Description:

The dozenal suite is a set of programs designed to assist with working in the dozenal (also called "duodecimal" or "base twelve") system. It includes number converters (dozenal-to-decimal and decimal-to-dozenal), an RPN calculator, a graphical calculator, a metric system converter (works with imperial, U.S. customary, SI metric, and the dozenal TGM), a pretty-printer for dozenal numbers, a date-and-time program, and a dozenal calendar programs, complete with events and to-dos.

dune-typetree 2.10.0
Dependencies: dune-common@2.10.0 openblas@0.3.30 python@3.11.14 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: LGPL 3+ GPL 2
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment
Description:

TypeTree is a template library for constructing and operating on statically typed trees of objects.

scalapack 2.2.2
Dependencies: openmpi@4.1.6 gfortran@14.3.0 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.netlib.org/scalapack/
Licenses: non-copyleft
Build system: cmake
Synopsis: Library for scalable numerical linear algebra
Description:

ScaLAPACK is a Fortran 90 library of high-performance linear algebra routines on parallel distributed memory machines. ScaLAPACK solves dense and banded linear systems, least squares problems, eigenvalue problems, and singular value problems.

ruby-asciimath 2.0.4
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/asciidoctor/asciimath
Licenses: Expat
Build system: ruby
Synopsis: AsciiMath parsing and conversion library
Description:

A pure Ruby AsciiMath parsing and conversion library. AsciiMath is an easy-to-write markup language for mathematics.

python-mathics3-notebook-frontends 0.0.0-0.63b90a0
Propagated dependencies: python-mathics-core@8.0.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mathics.org/
Licenses: GPL 3+
Build system: pyproject
Synopsis: Mathics frontend for Jupyter Notebook
Description:

This package provides a Mathics3 frontend for Jupyter Notebook and Marimo.

pnetcdf 1.13.0
Dependencies: openmpi@4.1.6 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://parallel-netcdf.github.io/
Licenses: X11-style
Build system: gnu
Synopsis: Parallel I/O Library for NetCDF File Access
Description:

PnetCDF is a high-performance parallel I/O library for accessing Unidata's NetCDF, files in classic formats, specifically the formats of CDF-1, 2, and 5.

gfan 0.7
Dependencies: cddlib@0.94m gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://users-math.au.dk/jensen/software/gfan/gfan.html
Licenses: GPL 2
Build system: gnu
Synopsis: Compute Gröbner fans and tropical varieties
Description:

Gfan is a software package for computing Gröbner fans and tropical varieties.

dsfmt 2.2.3
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/SFMT/
Licenses: Modified BSD
Build system: gnu
Synopsis: Double precision SIMD-oriented Fast Mersenne Twister
Description:

The dSMFT package speeds up Fast Mersenne Twister generation by avoiding the expensive conversion of integer to double (floating point). dSFMT directly generates double precision floating point pseudorandom numbers which have the IEEE Standard for Binary Floating-Point Arithmetic (ANSI/IEEE Std 754-1985) format. dSFMT is only available on the CPUs which use IEEE 754 format double precision floating point numbers.

suitesparse-cxsparse 4.4.1
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: Concise eXtended Sparse Matrix Package
Description:

CXSparse is a collection of sparse matrix algorithms for direct methods on both real and complex matrices.

metamath 0.193
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://us.metamath.org/
Licenses: GPL 2+
Build system: gnu
Synopsis: Proof verifier based on a minimalistic formalism
Description:

Metamath is a tiny formal language and that can express theorems in abstract mathematics, with an accompyaning metamath executable that verifies databases of these proofs. There is a public database, set.mm, implementing first-order logic and Zermelo-Frenkel set theory with Choice, along with a large swath of associated, high-level theorems, e.g.: the fundamental theorem of arithmetic, the Cauchy-Schwarz inequality, Stirling's formula, etc. See the Metamath book.

dune-uggrid-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: LGPL 2.1
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
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 DUNE UG grid classes.

wxmaxima 25.04.0
Dependencies: bash-minimal@5.2.37 wxwidgets@3.2.8.1 maxima@5.47.0 adwaita-icon-theme@46.2 gtk+@3.24.51 shared-mime-info@2.3
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://wxmaxima-developers.github.io/wxmaxima/
Licenses: GPL 2+
Build system: cmake
Synopsis: Graphical user interface for the Maxima computer algebra system
Description:

wxMaxima is a graphical user interface for the Maxima computer algebra system. It eases the use of Maxima by making most of its commands available through a menu system and by providing input dialogs for commands that require more than one argument. It also implements its own display engine that outputs mathematical symbols directly instead of depicting them with ASCII characters.

wxMaxima also features 2D and 3D inline plots, simple animations, mixing of text and mathematical calculations to create documents, exporting of input and output to TeX, and a browser for Maxima's manual including command index and full text searching.

nomad-optimizer 4.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gerad.ca/nomad/
Licenses: LGPL 3+
Build system: cmake
Synopsis: Nonlinear optimization by mesh-adaptive direct search
Description:

NOMAD is a C++ implementation of the mesh-adaptive direct search (MADS) algorithm, designed for difficult blackbox optimization problems. These problems occur when the functions defining the objective and constraints are the result of costly computer simulations.

octave 10.3.0
Dependencies: qscintilla@2.13.4 qtbase@5.15.17 alsa-lib@1.2.11 arpack-ng@3.9.1 bdb@6.2.32 curl@8.6.0 fftw@3.3.10 fftwf@3.3.10 fltk@1.4.4 fontconfig-minimal@2.14.0 freetype@2.13.3 gl2ps@1.4.2 glpk@5.0 glu@9.0.2 graphicsmagick@1.3.40 libjpeg-turbo@2.1.4 hdf5@1.14.6 libsndfile@1.2.0 libxft@2.3.8 mesa@25.2.3 openblas@0.3.30 pcre@8.45 portaudio@190600.20161030 qhull@2020.2 readline@8.2.13 suitesparse@5.13.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/octave/
Licenses: GPL 3+
Build system: gnu
Synopsis: High-level language for numerical computation (with GUI)
Description:

GNU Octave is a high-level interpreted language that is specialized for numerical computations. It can be used for both linear and non-linear applications and it provides great support for visualizing results. Work may be performed both at the interactive command-line as well as via script files.

linasm 1.13
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://sourceforge.net/projects/linasm/
Licenses: LGPL 3+
Build system: gnu
Synopsis: Collection of fast and optimized assembly libraries for x86-64
Description:

LinAsm is collection of very fast and SIMD optimized assembly written libraries for x86-64.

It implements many common and widely used algorithms for array manipulations: searching, sorting, arithmetic and vector operations, unit conversions; fast mathematical and statistic functions; numbers and time converting algorithms; finite impulse response (FIR) digital filters; spectrum analysis algorithms, Fast Hartley transformation; CPU cache friendly functions and extremely fast abstract data types (ADT) such as hash tables b-trees, and much more.

gklib 5.1.1-1.8bd6bad
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-fortran 4.5.3
Dependencies: libaec@1.0.6 hdf5@1.14.6 netcdf@4.9.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.unidata.ucar.edu/software/netcdf/
Licenses: X11-style
Build system: gnu
Synopsis: Fortran interface for the netCDF library
Description:

NetCDF is an interface for scientific data access and a software library that provides an implementation of the interface. The netCDF library defines a machine-independent format for representing scientific data. Together, the interface, library, and format support the creation, access, and sharing of scientific data.

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.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31087