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

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.


boolector 3.2.2
Dependencies: btor2tools@1.0.0-pre-2.fb69ee3 boost@1.83.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+
Synopsis: Bitvector-based theory solver
Description:

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

libpoly 0.1.12
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/SRI-CSL/libpoly
Licenses: LGPL 3+
Synopsis: Manipulate polynomials
Description:

LibPoly is a C library for manipulating polynomials to support symbolic reasoning engines that need to reason about polynomial constraints.

dune-functions 2.10.0
Dependencies: dune-common@2.10.0 dune-istl@2.10.0 dune-localfunctions@2.10.0 dune-grid@2.10.0 dune-geometry@2.10.0 dune-typetree@2.10.0 openblas@0.3.30 metis@5.1.0 python@3.11.11 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
Synopsis: Distributed and Unified Numerics Environment
Description:

The dune-functions module provides an abstraction layer for global finite element functions. Its two main concepts are functions implemented as callable objects, and bases of finite element spaces.

bitwise 0.50
Dependencies: ncurses@6.2.20210619 readline@8.2.13
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/mellowcandle/bitwise/
Licenses: GPL 3+
Synopsis: Terminal based bit manipulator in ncurses
Description:

Bitwise is a multi base interactive calculator supporting dynamic base conversion and bit manipulation. It's a handy tool for low level hackers, kernel developers and device drivers developers.

Some of the features include:

  • Interactive ncurses interface.

  • Command line calculator supporting all bitwise operations.

  • Individual bit manipulator.

  • Bitwise operations such as NOT, OR, AND, XOR, and shifts.

netcdf 4.9.0
Dependencies: curl@8.6.0 hdf4-alt@4.2.16-2 hdf5@1.14.6 libaec@1.0.6 libjpeg-turbo@2.1.4 libxml2@2.14.6 unzip@6.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.unidata.ucar.edu/software/netcdf/
Licenses: X11-style
Synopsis: Library for scientific data
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.

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+
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.

openspecfun 0.5.3
Dependencies: gfortran@14.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/JuliaLang/openspecfun
Licenses: Expat Public Domain
Synopsis: Collection of special mathematical functions
Description:

Openspecfun provides AMOS and Faddeeva. AMOS (from Netlib) is a portable package for Bessel Functions of a Complex Argument and Nonnegative Order; it contains subroutines for computing Bessel functions and Airy functions. Faddeeva allows computing the various error functions of arbitrary complex arguments (Faddeeva function, error function, complementary error function, scaled complementary error function, imaginary error function, and Dawson function); given these, one can also easily compute Voigt functions, Fresnel integrals, and similar related functions as well.

flann 1.9.1
Dependencies: hdf5@1.14.6 python@3.11.11 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/mariusmuja/flann/
Licenses: non-copyleft
Synopsis: Library for approximate nearest neighbors computation
Description:

FLANN is a library for performing fast approximate nearest neighbor searches in high dimensional spaces. It implements a collection of algorithms and a system for automatically choosing the best algorithm and optimum parameters depending on the dataset.

FLANN is written in C++ and contains bindings for C, Octave and Python.

netcdf-parallel-openmpi 4.9.0
Dependencies: curl@8.6.0 hdf4-alt@4.2.16-2 hdf5-parallel-openmpi@1.14.6 libaec@1.0.6 libjpeg-turbo@2.1.4 libxml2@2.14.6 unzip@6.0 zlib@1.3.1 openmpi@4.1.6 pnetcdf@1.13.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.unidata.ucar.edu/software/netcdf/
Licenses: X11-style
Synopsis: Library for scientific data
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.

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
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.

dune-common-openmpi 2.10.0
Dependencies: gmp@6.3.0 metis@5.1.0 openblas@0.3.30 python@3.11.11 superlu@5.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
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).

ipopt 3.13.4
Dependencies: openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.coin-or.org
Licenses: EPL 2.0
Synopsis: Large-scale nonlinear optimizer
Description:

The Interior Point Optimizer (IPOPT) is a software package for large-scale nonlinear optimization. It provides C++, C, and Fortran interfaces.

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
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.

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
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.

openblas-ilp64 0.3.30
Dependencies: gfortran@14.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.openblas.net/
Licenses: Modified BSD
Synopsis: Optimized BLAS library based on GotoBLAS (ILP64 version)
Description:

OpenBLAS is a Basic Linear Algebra Subprograms (BLAS) library forked from the GotoBLAS2-1.13 BSD version.

petsc 3.21.4
Dependencies: 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
Synopsis: Library to solve PDEs
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.

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+
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.

metis 5.1.0
Dependencies: 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
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.

dune-typetree-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 openblas@0.3.30 python@3.11.11 metis@5.1.0 superlu@5.3.0 gmp@6.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: LGPL 3+ GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

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

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
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.

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+
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.

petsc-complex-openmpi 3.21.4
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
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.

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
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.

libfixmath 0-1.1416c99
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://code.google.com/archive/p/libfixmath/
Licenses: Expat
Synopsis: Cross platform fixed point maths library
Description:

This library implements the math.h functions in fixed point (16.16) format.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109