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

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.


python-pyglm 2.8.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Zuzu-Typ/PyGLM
Licenses: Zlib
Synopsis: OpenGL Mathematics library for Python
Description:

PyGLM is a Python extension library which brings the OpenGL Mathematics (GLM) library to Python.

netcdf-cxx4 4.3.1
Dependencies: hdf5@1.14.6
Propagated dependencies: netcdf@4.9.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/Unidata/netcdf-cxx4
Licenses: Modified BSD
Synopsis: NetCDF C++ interface
Description:

This package provides a C++ interface to the NetCDF library for scientific data storage.

slepc-openmpi 3.21.1
Dependencies: openmpi@4.1.6 gfortran@14.3.0
Propagated dependencies: petsc-openmpi@3.21.4 arpack-ng-openmpi@3.9.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://slepc.upv.es
Licenses: FreeBSD
Synopsis: Scalable library for eigenproblems (with MPI support)
Description:

SLEPc is a software library for the solution of large sparse eigenproblems on parallel computers. It can be used for the solution of linear eigenvalue problems formulated in either standard or generalized form, as well as other related problems such as the singular value decomposition. The emphasis of the software is on methods and techniques appropriate for problems in which the associated matrices are sparse, for example, those arising after the discretization of partial differential equations.

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

slepc 3.21.1
Dependencies: arpack-ng@3.9.1 gfortran@14.3.0
Propagated dependencies: petsc@3.21.4
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://slepc.upv.es
Licenses: FreeBSD
Synopsis: Scalable library for eigenproblems
Description:

SLEPc is a software library for the solution of large sparse eigenproblems on parallel computers. It can be used for the solution of linear eigenvalue problems formulated in either standard or generalized form, as well as other related problems such as the singular value decomposition. The emphasis of the software is on methods and techniques appropriate for problems in which the associated matrices are sparse, for example, those arising after the discretization of partial differential equations.

aris 2.2
Dependencies: gtk+@3.24.49 libxml2@2.14.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/aris/
Licenses: GPL 3+
Synopsis: Natural deduction first-order logic interface
Description:

Aris is a program for performing logical proofs. It supports propositional and predicate logic, as well as Boolean algebra and arithmetical logic. In addition to its predefined inference and equivalence rules, Aris also supports references to older proofs. Its use of standard logical symbols and its natural deduction interface make it easy to use for beginners.

hypre 2.32.0
Dependencies: 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: Library of 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. It features multigrid solvers for both structured and unstructured grid problems.

4ti2 1.6.12
Dependencies: glpk@5.0 gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://4ti2.github.io
Licenses: GPL 2+
Synopsis: Mathematical tool suite for problems on linear spaces
Description:

4ti2 implements algorithms for solving algebraic, geometric and combinatorial problems on linear spaces. Among others, it solves systems of linear equations, computes extreme rays of polyhedral cones, solves integer programming problems and computes Markov bases for statistics.

mlucas 18
Dependencies: python2@2.7.18
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.mersenne.org
Licenses: GPL 2+
Synopsis: Great Internet Mersenne Prime Search (GIMPS) distributed computing client
Description:

Mlucas performs Lucas-Lehmer primality testing of Mersenne numbers in search of a world-record prime. You may use it to test any suitable number as you wish, but it is preferable that you do so in a coordinated fashion, as part of the Great Internet Mersenne Prime Search (GIMPS). Mlucas also includes a simple Python script for assignment management via the GIMPS project's Primenet server.

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

PETSc, the Portable, Extensible Toolkit for Scientific Computation, is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication. petsc4py provides Python bindings to almost all functions of PETSc.

suitesparse-btf 2.3.2
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+
Synopsis: Library for permuting matrices into block upper triangular form
Description:

BTF (Block Triangular Form) is a C library for permuting a matrix into block upper triangular form.

mumps-metis 5.8.0
Dependencies: 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
Description:

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

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.

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

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.

armadillo 12.4.2
Dependencies: openblas@0.3.30 arpack-ng@3.9.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://arma.sourceforge.net/
Licenses: ASL 2.0
Synopsis: C++ linear algebra library
Description:

Armadillo is a C++ linear algebra library, aiming towards a good balance between speed and ease of use. It is useful for algorithm development directly in C++, or quick conversion of research code into production environments. It can be used for machine learning, pattern recognition, signal processing, bioinformatics, statistics, econometrics, etc. The library provides efficient classes for vectors, matrices and cubes, as well as 150+ associated functions (e.g., contiguous and non-contiguous submatrix views).

p4est-openmpi 2.0
Dependencies: openmpi@4.1.6 gfortran@14.3.0 openblas@0.3.30 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.p4est.org
Licenses: GPL 2+
Synopsis: Parallel adaptive mesh refinement on forests of octrees
Description:

The p4est software library enables the dynamic management of a collection of adaptive octrees, conveniently called a forest of octrees. p4est is designed to work in parallel and scales to hundreds of thousands of processor cores.

bonmin 1.8.9
Dependencies: cbc@2.10.5 ipopt@3.13.4 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://coin-or.github.io/Bonmin/
Licenses: EPL 1.0
Synopsis: Basic Open-source Nonlinear Mixed INteger programming
Description:

Bonmin is a code for solving general MINLP (Mixed Integer NonLinear Programming) problems. It builds on top of Cbc and Ipopt.

maxima-ecl 5.47.0
Dependencies: ecl@24.5.10 bash-minimal@5.2.37 gnuplot@6.0.1 sed@4.9 tk@8.6.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://maxima.sourceforge.io
Licenses: GPL 2
Synopsis: Numeric and symbolic expression manipulation
Description:

Maxima is a system for the manipulation of symbolic and numerical expressions. It yields high precision numeric results by using exact fractions, arbitrary precision integers, and variable precision floating point numbers. This package variant uses ECL as the underlying Lisp implementation.

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
Synopsis: Compute Gröbner fans and tropical varieties
Description:

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

combinatorial-blas 1.6.2
Dependencies: openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://people.eecs.berkeley.edu/~aydin/CombBLAS/html/
Licenses: GPL 2+ X11 Modified BSD
Synopsis: Linear algebra primitives for graph analytics
Description:

The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.

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
Synopsis: Helper library for METIS
Description:

GKlib is a library of various helper routines and frameworks used by software from KarypisLab, such as METIS.

chuffed 0.13.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/chuffed/chuffed
Licenses: Expat
Synopsis: Lazy clause generation solver
Description:

Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind. Lazy clause generation is a hybrid approach to constraint solving that combines features of finite domain propagation and Boolean satisfiability.

frama-c 29.0
Dependencies: bash-minimal@5.2.37 gmp@6.3.0 zlib@1.3.1
Propagated dependencies: graphviz@7.0.1 lablgtk@3.1.3 ocaml-graph@2.0.0 ocaml-odoc@2.2.0 ocaml-lablgtk3-sourceview3@3.1.3 ocaml-yaml@3.2.0 ocaml-yojson@2.0.2 ocaml-zarith@1.12 ocaml-ppx-deriving@5.2.1 ocaml-ppx-deriving-yojson@3.7.0 ocaml-ppx-deriving-yaml@0.2.1 ocaml-ppx-import@1.10.0 ocaml-unionfind@20220122 why3@1.7.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://frama-c.com
Licenses: LGPL 2.1+
Synopsis: C source code analysis platform
Description:

Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109