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

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.


hdf-eos5 2.0
Dependencies: gctp@2.0.0 hdf5@1.14.6 libaec@1.0.6 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.hdfeos.org/software/library.php#HDF-EOS5
Licenses: non-copyleft
Synopsis: HDF5-based data format for NASA's Earth Observing System
Description:

HDF-EOS5 is a software library built on HDF5 to support the construction of data structures used in NASA's Earth Observing System (Grid, Point and Swath).

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.

suitesparse-cholmod 5.3.2
Dependencies: gklib-suitesparse@5.1.1-1.8bd6bad metis-suitesparse@5.2.1 openblas@0.3.30 suitesparse-amd@3.3.3 suitesparse-camd@3.3.3 suitesparse-ccolamd@3.3.4 suitesparse-colamd@3.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+ LGPL 2.1+
Synopsis: Library for solving sparse symmetric positive definite linear equations
Description:

CHOLMOD is a set of routines for factorizing sparse symmetrix positive definite matrices, updating/downdating sparse Cholesky factorizations and other related operations.

suitesparse-colamd 3.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: Modified BSD
Synopsis: Column Approximate Minimum Degree Ordering
Description:

COLAMD is library for computing a permutation vector for a matrix with which the LU factorization becomes sparser.

reducelcs 1.0-2.963f74f
Dependencies: openlibm@0.8.7
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/gdv/Reduce-Expand-for-LCS
Licenses: GPL 3+
Synopsis: Approximate Longest Commons Subsequence computation tool
Description:

reduceLCS is an implementation of the Reduce-Expand algorithm for LCS. It is a fast program to compute the approximate Longest Commons Subsequence of a set of strings.

gsl 2.8
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/gsl/
Licenses: GPL 3+
Synopsis: Numerical library for C and C++
Description:

The GNU Scientific Library is a library for numerical analysis in C and C++. It includes a wide range of mathematical routines, with over 1000 functions in total. Subject areas covered by the library include: differential equations, linear algebra, Fast Fourier Transforms and random numbers.

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.

slepc-complex 3.24.0
Dependencies: arpack-ng@3.9.1 gfortran@14.3.0
Propagated dependencies: petsc-complex@3.24.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://slepc.upv.es
Licenses: FreeBSD
Synopsis: Scalable library for eigenproblems (with complex scalars)
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-pdelab-openmpi 2.8.0-0.d5dddb6
Dependencies: dune-common-openmpi@2.10.0 dune-istl-openmpi@2.10.0 dune-localfunctions-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 dune-grid-openmpi@2.10.0 dune-typetree-openmpi@2.10.0 dune-functions-openmpi@2.10.0 openblas@0.3.30 eigen@3.4.0 metis@5.1.0 python@3.11.14 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: Differential equations solver toolbox (with MPI support)
Description:

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

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.

symfpu 0-0.22d993d
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/martin-cs/symfpu
Licenses: GPL 3+
Synopsis: Concrete and symbolic implementation of IEEE-754 floating-point numbers
Description:

SoftFPU is a C++ library implementing concrete and symbolic semantics for floating point numbers as defined in the IEEE-764 Standard for Floating-Point Arithmetic. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used. This allow the same code to be executed as an arbitrary precision library or to be used to build symbolic representations of floating-point operations.

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

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.

superlu 5.3.0
Dependencies: openblas@0.3.30 gfortran@14.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://portal.nersc.gov/project/sparse/superlu/
Licenses: Modified BSD GPL 2+ FSF-free
Synopsis: Supernodal direct solver for sparse linear systems
Description:

SuperLU is a general purpose library for the direct solution of large, sparse, nonsymmetric systems of linear equations on high performance machines. The library is written in C and is callable from either C or Fortran. The library routines perform an LU decomposition with partial pivoting and triangular system solves through forward and back substitution. The library also provides threshold-based ILU factorization preconditioners.

python-blis 1.2.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/explosion/cython-blis
Licenses: Modified BSD
Synopsis: Blis as a self-contained C-extension for Python
Description:

This package provides the Blis BLAS-like linear algebra library, as a self-contained C-extension for 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.

elpa 2018.11.001
Dependencies: 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
Description:

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

python-petsc4py 3.24.0
Dependencies: petsc-openmpi@3.24.0 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-ccolamd 3.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: Modified BSD
Synopsis: Column Approximate Minimum Degree Ordering with constraints
Description:

CCOLAMD is library for computing a permutation vector for a matrix with which the LU factorization becomes sparser. It is a variant of COLAMD which has the the option to apply constraints to the ordering.

gsegrafix 1.0.7.2
Dependencies: glib@2.83.3 gtk+@3.24.51
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/gsegrafix/
Licenses: GPL 3+
Synopsis: GNOME application to create scientific and engineering plots
Description:

GSEGrafix is an application which produces high-quality graphical plots for science and engineering. Plots are specified via simple ASCII parameter files and data files and are presented in an anti-aliased GNOME canvas. The program supports rectangular two-dimensional plots, histograms, polar-axis plots and three-dimensional plots. Plots can be printed or saved to BMP, JPEG or PNG image formats.

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

dune-alugrid-openmpi 2.10.0
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 python@3.11.14 superlu@5.3.0 gmp@6.3.0 zlib@1.3.1 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:

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

libcerf 1.14
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://jugit.fz-juelich.de/mlz/libcerf
Licenses: Expat
Synopsis: Library for complex error functions
Description:

libcerf is a self-contained numeric library that provides an efficient and accurate implementation of complex error functions, along with Dawson, Faddeeva, and Voigt functions.

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.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844
Total results: 68249