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

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.


suitesparse-ldl 3.3.2
Dependencies: suitesparse-amd@3.3.3
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+
Build system: cmake
Synopsis: LDL' factorization method for sparse, symmetric matrices
Description:

This package contains a set of routines for computing the LDL' factorization of sparse, symmetric matrices. Its focus lies on concise code.

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+
Build system: cmake
Synopsis: Multi-criteria community detection
Description:

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

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
Build system: cmake
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.

kissat 4.0.1
Dependencies: xz@5.4.5 gzip@1.14 lzip@1.25 bzip2@1.0.8 p7zip@25.01
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/arminbiere/kissat
Licenses: Expat
Build system: gnu
Synopsis: Bare-metal SAT solver
Description:

Kissat is a bare-metal SAT-solver written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.

palp 2.21
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html
Licenses: GPL 3
Build system: gnu
Synopsis: Package for Analyzing Lattice Polytopes
Description:

PALP is a set of programs for calculations with lattice polytopes and applications to toric geometry.

blis 0.9.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/flame/blis
Licenses: Modified BSD
Build system: gnu
Synopsis: High-performance basic linear algebra (BLAS) routines
Description:

BLIS is a portable software framework for instantiating high-performance BLAS-like dense linear algebra libraries. The framework was designed to isolate essential kernels of computation that, when optimized, immediately enable optimized implementations of most of its commonly used and computationally intensive operations. While BLIS exports a new BLAS-like API, it also includes a BLAS compatibility layer which gives application developers access to BLIS implementations via traditional BLAS routine calls.

python-py-bobyqa 1.5.0
Propagated dependencies: python-numpy@1.26.4 python-pandas@2.2.3 python-scipy@1.12.0 python-setuptools@80.9.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/numericalalgorithmsgroup/pybobyqa
Licenses: GPL 3
Build system: pyproject
Synopsis: Derivative-free solver for general objective minimization
Description:

Py-BOBYQA is a flexible package for solving bound-constrained general objective minimization, without requiring derivatives of the objective. At its core, it is a Python implementation of the BOBYQA algorithm by Powell,but Py-BOBYQA has extra features improving its performance on some problems. Py-BOBYQA is particularly useful when evaluations of the objective function are expensive and/or noisy.

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+
Build system: gnu
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.

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+
Build system: cmake
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.

metamath 0.193
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://us.metamath.org/
Licenses: GPL 2+
Build system: gnu
Synopsis: Proof verifier based on a minimalistic formalism
Description:

Metamath is a tiny formal language and that can express theorems in abstract mathematics, with an accompyaning metamath executable that verifies databases of these proofs. There is a public database, set.mm, implementing first-order logic and Zermelo-Frenkel set theory with Choice, along with a large swath of associated, high-level theorems, e.g.: the fundamental theorem of arithmetic, the Cauchy-Schwarz inequality, Stirling's formula, etc. See the Metamath book.

python-cylp 0.92.3
Dependencies: cbc@2.10.5
Propagated dependencies: python-numpy@1.26.4 python-pytest@8.4.1 python-scipy@1.12.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/coin-or/cylp
Licenses: EPL 2.0
Build system: pyproject
Synopsis: Python interface for CLP, CBC, and CGL
Description:

CyLP is a Python interface to COIN-OR’s Linear and mixed-integer program solvers (CLP, CBC, and CGL). CyLP’s unique feature is that you can use it to alter the solution process of the solvers from within Python. For example, you may define cut generators, branch-and-bound strategies, and primal/dual Simplex pivot rules completely in Python.

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+
Build system: cmake
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.

libcerf 1.14
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://jugit.fz-juelich.de/mlz/libcerf
Licenses: Expat
Build system: cmake
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.

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
Build system: cmake
Synopsis: Cross platform fixed point maths library
Description:

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

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
Build system: pyproject
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.

opencascade-occt 7.6.1
Dependencies: freetype@2.13.3 glu@9.0.2 libxext@1.3.6 libxi@1.8.2 libxmu@1.2.1 mesa@25.2.3 tbb@2020.3 tcl@8.6.12 tk@8.6.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.opencascade.com
Licenses: LGPL 2.1 Expat GPL 3+ non-copyleft Public Domain
Build system: cmake
Synopsis: Libraries for 3D modeling and numerical simulation
Description:

Open CASCADE is a set of libraries for the development of applications dealing with 3D CAD data or requiring industrial 3D capabilities. It includes C++ class libraries providing services for 3D surface and solid modeling, CAD data exchange, and visualization. It is used for development of specialized software dealing with 3D models in design (CAD), manufacturing (CAM), numerical simulation (CAE), measurement equipment (CMM), and quality control (CAQ) domains.

This is the certified version of the Open Cascade Technology (OCCT) library.

yices 2.7.0
Dependencies: cudd@3.0.0 gmp@6.3.0 gperf@3.3 libpoly@0.2.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://yices.csl.sri.com/
Licenses: GPL 3+
Build system: gnu
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.

calc 2.15.1.1
Dependencies: readline@8.2.13
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://www.isthe.com/chongo/tech/comp/calc/
Licenses: LGPL 2.1
Build system: gnu
Synopsis: Arbitrary precision console calculator
Description:

Calc is an arbitrary precision arithmetic system that uses a C-like language. It can be used as a calculator, an algorithm prototyper and as a mathematical research tool, and it comes with built in mathematical and programmatic functions.

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
Build system: gnu
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.

dionysus 1.4.0
Dependencies: tcl@8.6.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/dionysus/
Licenses: GPL 3+
Build system: gnu
Synopsis: Local search for universal constants and scientific values
Description:

GNU Dionysus is a convenient system for quickly retrieving the values of mathematical constants used in science and engineering. Values can be searched using a simple command-line tool, choosing from three databases: universal constants, atomic numbers, and constants related to semiconductors.

dozenal 12010904-3-1.328bc03
Dependencies: bash-minimal@5.2.37 libhdate@1.6.02 lua@5.3.5 ncurses@6.2.20210619 perl@5.36.0 perl-tk@804.036 perl-par@1.018 xforms@1.3.0-1.2c1a9f1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://codeberg.org/dgoodmaniii/dozenal
Licenses: GPL 3+
Build system: gnu
Synopsis: Suite of dozenal programs
Description:

The dozenal suite is a set of programs designed to assist with working in the dozenal (also called "duodecimal" or "base twelve") system. It includes number converters (dozenal-to-decimal and decimal-to-dozenal), an RPN calculator, a graphical calculator, a metric system converter (works with imperial, U.S. customary, SI metric, and the dozenal TGM), a pretty-printer for dozenal numbers, a date-and-time program, and a dozenal calendar programs, complete with events and to-dos.

python-primecountpy 0.1.1
Dependencies: pari-gp@2.17.3 primecount@7.20 primesieve@12.10
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/dimpase/primecountpy
Licenses: GPL 2+
Build system: pyproject
Synopsis: Cython interface for C++ primecount library
Description:

This package provides a Cython interface to the C++ library primecount.

blitz 1.0.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/blitzpp/blitz
Licenses: Artistic License 2.0 Modified BSD LGPL 3+
Build system: cmake
Synopsis: C++ template class library for multidimensional arrays
Description:

Blitz++ is a C++ template class library that provides high-performance multidimensional array containers for scientific computing.

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

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

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31087