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

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.


nauty 2.8.9
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://pallini.di.uniroma1.it/
Licenses: ASL 2.0
Synopsis: Library for graph automorphisms
Description:

nauty (No AUTomorphisms, Yes?) is a set of procedures for computing automorphism groups of graphs and digraphs.

nauty computes graph information in the form of a set of generators, the size of the group, and the orbits of the group; it can also produce a canonical label. The nauty suite is written in C and comes with a command-line interface, a collection of command-line tools, and an Application Programming Interface (API).

This package provides the static libraries required to run programs compiled against the nauty 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.

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

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

dune-alugrid 2.10.0
Dependencies: dune-common@2.10.0 dune-geometry@2.10.0 dune-grid@2.10.0 metis@5.1.0 openblas@0.3.30 python@3.11.11 superlu@5.3.0 gmp@6.3.0 zlib@1.3.1
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:

ALUGrid is an adaptive, loadbalancing, unstructured implementation of the DUNE grid interface supporting either simplices or cubes.

ceres-solver-benchmarks 2.0.0
Dependencies: googlebenchmark@1.9.1 ceres-solver@2.0.0 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: Benchmarks of the Ceres optimization problem solver
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.

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.

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.

dune-subgrid-openmpi 2.10.0-1.e71cc9c
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 dune-grid-openmpi@2.10.0 metis@5.1.0 openblas@0.3.30 gmp@6.3.0 openmpi@4.1.6
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 (with MPI support)
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.

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.

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.

dune-pdelab 2.8.0-0.d5dddb6
Dependencies: dune-common@2.10.0 dune-istl@2.10.0 dune-localfunctions@2.10.0 dune-geometry@2.10.0 dune-grid@2.10.0 dune-typetree@2.10.0 dune-functions@2.10.0 openblas@0.3.30 eigen@3.4.0 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: Differential equations solver toolbox
Description:

PDELab is a partial differential equations solver toolbox built on top of DUNE, the Distributed and Unified Numerics Environment.

yices 2.6.4
Dependencies: cudd@3.0.0 gmp@6.3.0 gperf@3.3 libpoly@0.1.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://yices.csl.sri.com/
Licenses: GPL 3+
Synopsis: Satisfiability modulo theories solver
Description:

Yices is a solver for SMT problems. It can process input in SMT-LIB format or its own s-expression-based format.

tiny-bignum 0-0.1d7a1f9
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/kokke/tiny-bignum-c
Licenses: Unlicense
Synopsis: Small portable multiple-precision unsigned integer arithmetic in C
Description:

This library provides portable Arbitrary-precision unsigned integer arithmetic in C, for calculating with large numbers. Basic arithmetic (+, -, *, /, %) and bitwise operations (&, |, ^. <<, >>) plus increments, decrements and comparisons are supported.

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

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.

vinci 1.0.5
Dependencies: lrslib@7.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.math.u-bordeaux.fr/~aenge/?category=software&page=vinci
Licenses: GPL 2+
Synopsis: Volume computation for polytopes
Description:

Vinci implements a number of volume computation algorithms for convex polytopes in arbitrary dimension. The polytopes can be given by their V-representation (as the convex hull of a finite number of vertices), by their H-representation (as the bounded intersection of a finite number of halfspaces) or by their double description with both representations.

lpsolve 5.5.2.5
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://lpsolve.sourceforge.net/
Licenses: LGPL 2.1+
Synopsis: Mixed integer linear programming (MILP) solver
Description:

lp_solve is a mixed integer linear programming solver based on the revised simplex and the branch-and-bound methods.

qalculate-gtk 3.19.0
Dependencies: gmp@6.3.0 mpfr@4.2.2 libqalculate@3.19.0 libxml2@2.14.6 glib@2.83.3 gtk+@3.24.49
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://qalculate.github.io/
Licenses: GPL 2+
Synopsis: Multi-purpose graphical desktop calculator
Description:

Qalculate-gtk is the GTK frontend for libqalculate. It is a multi-purpose GUI desktop calculator. It provides basic and advanced functionality. Features include customizable functions, unit calculations, and conversions, physical constants, symbolic calculations (including integrals and equations), arbitrary precision, uncertainty propagation, interval arithmetic, plotting.

openblas 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
Description:

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

hypre-openmpi 2.32.0
Dependencies: openmpi@4.1.6 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://computing.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods
Licenses: LGPL 2.1
Synopsis: Parallel solvers and preconditioners for linear equations
Description:

HYPRE is a software library of high performance preconditioners and solvers for the solution of large, sparse linear systems of equations on parallel computers. It features parallel multigrid solvers for both structured and unstructured grid problems.

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+
Synopsis: Mathics frontend for Jupyter Notebook
Description:

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

suitesparse-spqr 4.3.4
Dependencies: openblas@0.3.30 suitesparse-amd@3.3.3 suitesparse-camd@3.3.3 suitesparse-ccolamd@3.3.4 suitesparse-colamd@3.3.4 suitesparse-config@7.10.2
Propagated dependencies: suitesparse-cholmod@5.3.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: Sparse QR factorization method
Description:

The SPQR (SuiteSparseQR) package provides sparse QR factorization based on the multifrontal method, using BLAS for the frontal matrices.

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

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109