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

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.


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

dune-geometry-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 openblas@0.3.30 gmp@6.3.0 python@3.11.11 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).

This package contains the basic DUNE geometry classes.

libblastrampoline 5.1.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/JuliaLinearAlgebra/libblastrampoline
Licenses: Expat
Synopsis: PLT trampolines to provide a BLAS and LAPACK demuxing library
Description:

This package uses PLT trampolines to provide a BLAS and LAPACK demuxing library.

btor2tools 1.0.0-pre-2.fb69ee3
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://boolector.github.io
Licenses: LGPL 3+
Synopsis: Parser for BTOR2 format
Description:

This package provides a parser for the BTOR2 format used by Boolector.

libflame 5.2.0-0.70c19e7
Dependencies: gfortran@14.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/flame/libflame
Licenses: Modified BSD
Synopsis: High-performance library for @acronym{DLA, dense linear algebra} computations
Description:

libflame is a portable library for dense matrix computations, providing much of the functionality present in LAPACK, developed by current and former members of the SHPC group in the Institute for Computational Engineering and Sciences at The University of Texas at Austin. libflame includes a compatibility layer, lapack2flame, which includes a complete LAPACK implementation.

mcrl2-minimal 202307.1
Dependencies: boost@1.83.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mcrl2.org
Licenses: Boost 1.0
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.21.4
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
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.

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.21.4
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://computation.llnl.gov/projects/sundials
Licenses: Modified BSD
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.

clp 1.17.6
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
Synopsis: Linear programming solver
Description:

CLP is a high quality linear programming solver. Its main strengths are its dual and primal Simplex algorithms. It also has a barrier algorithm for linear and quadratic objectives. There are limited facilities for nonlinear and quadratic objectives using the Simplex algorithm.

cryptominisat 5.11.22
Dependencies: boost@1.83.0 cadical@2.0.0 cadiback-for-cryptominisat@0.2.1-1.ea65a94 gmp@6.3.0 louvain-community@1.0.0-2.681a711 python@3.11.11 python-numpy@1.26.4 sqlite@3.39.3 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/msoos/cryptominisat
Licenses: Expat
Synopsis: Incremental SAT solver
Description:

CryptoMiniSat is an incremental SAT solver with both command line and library (C++, C, Python) interfaces. The command-line interface takes a CNF as an input in the DIMACS format with the extension of XOR clauses. The library interfaces mimic this and also allow incremental solving, including assumptions.

gmsh 4.14.1
Dependencies: fontconfig-minimal@2.14.0 libxft@2.3.8 python@3.11.11
Propagated dependencies: fltk@1.4.4 gfortran@14.3.0 glu@9.0.2 gmp@6.3.0 hdf5@1.14.6 libx11@1.8.12 libxext@1.3.6 mesa@25.2.3 metis@5.1.0 openblas@0.3.30 opencascade-occt@7.6.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://gmsh.info/
Licenses: GPL 2+
Synopsis: 3D finite element grid generator
Description:

Gmsh is a 3D finite element grid generator with a built-in CAD engine and post-processor. Its design goal is to provide a fast, light and user-friendly meshing tool with parametric input and advanced visualization capabilities. Gmsh is built around four modules: geometry, mesh, solver and post-processing. The specification of any input to these modules is done either interactively using the graphical user interface or in ASCII text files using Gmsh's own scripting language.

dune-grid 2.10.0
Dependencies: dune-common@2.10.0 dune-geometry@2.10.0 gmp@6.3.0 metis@5.1.0 openblas@0.3.30 python@3.11.11
Propagated dependencies: dune-uggrid@2.10.0
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
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 grid classes.

python-quadpy 0.16.10
Dependencies: python-matplotlib@3.8.2
Propagated dependencies: python-importlib-metadata@8.7.0 python-numpy@1.26.4 python-orthopy@0.9.5 python-scipy@1.12.0 python-sympy@1.13.3
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/diego-hayashi/quadpy
Licenses: GPL 3+
Synopsis: Numerical integration, quadrature for various domains
Description:

More than 1500 numerical integration schemes for line segments, circles, disks, triangles, quadrilaterals, spheres, balls, tetrahedra, hexahedra, wedges, pyramids, n-spheres, n-balls, n-cubes, n-simplices, and the 1D/2D/3D/nD spaces with weight functions exp(-r) and exp(-r2) for fast integration of real-, complex-, and vector-valued functions.

louvain-community 1.0.0-2.681a711
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/meelgroup/louvain-community
Licenses: LGPL 3+
Synopsis: Multi-criteria community detection
Description:

This package provides a C++ implementation of the Louvain community detection algorithm.

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

hdf5-blosc 1.0.1
Dependencies: c-blosc@1.21.1 hdf5@1.14.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Blosc/hdf5-blosc
Licenses: Expat
Synopsis: Filter for HDF5 using the Blosc compressor
Description:

This is a filter for HDF5 that uses the Blosc compressor; by installing this filter, you can read and write HDF5 files with Blosc-compressed datasets.

dune-subgrid 2.10.0-1.e71cc9c
Dependencies: dune-common@2.10.0 dune-geometry@2.10.0 dune-grid@2.10.0 metis@5.1.0 openblas@0.3.30 gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://numerik.mi.fu-berlin.de/dune-subgrid/index.php
Licenses: GPL 2+
Synopsis: Distributed and Unified Numerics Environment
Description:

The dune-subgrid module marks elements of another hierarchical dune grid. The set of marked elements can then be accessed as a hierarchical dune grid in its own right. Dune-Subgrid provides the full grid interface including adaptive mesh refinement.

elpa-openmpi 2018.11.001
Dependencies: openmpi@4.1.6 scalapack@2.2.2 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://elpa.mpcdf.mpg.de
Licenses: LGPL 3
Synopsis: Eigenvalue solvers for symmetric matrices (with MPI support)
Description:

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

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

cadical 2.0.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/arminbiere/cadical
Licenses: Expat
Synopsis: SAT solver
Description:

This package provides a SAT solver based on conflict-driven clause learning.

hpcombi 1.1.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://libsemigroups.github.io/HPCombi/
Licenses: GPL 3+
Synopsis: Fast combinatorics in C++ using SSE/AVX instruction sets
Description:

HPCombi is a C++17 header-only library using the SSE and AVX instruction sets, and some equivalents, for very fast manipulation of combinatorial objects such as transformations, permutations, and boolean matrices of small size.

minisat 2.2.0-1.37dc6c6
Dependencies: zlib@1.3.1 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://minisat.se/MiniSat.html
Licenses: Expat
Synopsis: Small, yet efficient, SAT solver
Description:

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.

suitesparse-rbio 4.3.4
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: GPL 2+
Synopsis: Library for the Rutherford/Boeing sparse matrix format
Description:

This package provides the C library of RBio. It can be used for reading and writing sparse matrices in the Rutherford/Boeing format.

lingeling 1.0.0
Dependencies: aiger@1.9.9 bash-minimal@5.2.37 gzip@1.14 bzip2@1.0.8 xz@5.4.5 p7zip@25.01
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://fmv.jku.at/lingeling
Licenses: Expat
Synopsis: SAT solver
Description:

This package provides a range of SAT solvers, including the sequential lingeling and its parallel variants plingeling and treengeling. A bounded model checker is also included.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109