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

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.


gmsh 4.14.1
Dependencies: fltk@1.4.4 fontconfig-minimal@2.14.0 glu@9.0.2 gmp@6.3.0 hdf5@1.14.6 libx11@1.8.12 libxext@1.3.6 libxft@2.3.8 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+
Build system: cmake
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.

libtaylor 0-0.88709f0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/uekstrom/libtaylor
Licenses: Expat
Build system: cmake
Synopsis: C++ library for automatic differentiation
Description:

This is a header-only C++ library for calculating analytical derivatives and taylor expansions of composite functions.

octave-cli 10.3.0
Dependencies: alsa-lib@1.2.11 arpack-ng@3.9.1 bdb@6.2.32 curl@8.6.0 fftw@3.3.10 fftwf@3.3.10 fltk@1.4.4 fontconfig-minimal@2.14.0 freetype@2.13.3 gl2ps@1.4.2 glpk@5.0 glu@9.0.2 graphicsmagick@1.3.40 libjpeg-turbo@2.1.4 hdf5@1.14.6 libsndfile@1.2.0 libxft@2.3.8 mesa@25.2.3 openblas@0.3.30 pcre@8.45 portaudio@190600.20161030 qhull@2020.2 readline@8.2.13 suitesparse@5.13.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/octave/
Licenses: GPL 3+
Build system: gnu
Synopsis: High-level language for numerical computation (no GUI)
Description:

GNU Octave is a high-level interpreted language that is specialized for numerical computations. It can be used for both linear and non-linear applications and it provides great support for visualizing results. Work may be performed both at the interactive command-line as well as via script files.

elemental 0.87.7-0.6eb15a0
Dependencies: gfortran@14.3.0 gmp@6.3.0 metis@5.1.0 mpc@1.3.1 mpfr@4.2.2 openmpi@4.1.6 qd@2.3.24 openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/elemental/Elemental
Licenses: FreeBSD
Build system: cmake
Synopsis: Dense and sparse-direct linear algebra and optimization
Description:

Elemental is a modern C++ library for distributed-memory dense and sparse-direct linear algebra, conic optimization, and lattice reduction.

nlopt 2.10.0
Dependencies: guile@3.0.9 octave@10.3.0 python@3.11.14
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://ab-initio.mit.edu/wiki/
Licenses: LGPL 2.1+
Build system: cmake
Synopsis: Library for nonlinear optimization
Description:

NLopt is a library for nonlinear optimization, providing a common interface for a number of different free optimization routines available online as well as original implementations of various other algorithms.

bitwise 0.50
Dependencies: ncurses@6.2.20210619 readline@8.2.13
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/mellowcandle/bitwise/
Licenses: GPL 3+
Build system: gnu
Synopsis: Terminal based bit manipulator in ncurses
Description:

Bitwise is a multi base interactive calculator supporting dynamic base conversion and bit manipulation. It's a handy tool for low level hackers, kernel developers and device drivers developers.

Some of the features include:

  • Interactive ncurses interface.

  • Command line calculator supporting all bitwise operations.

  • Individual bit manipulator.

  • Bitwise operations such as NOT, OR, AND, XOR, and shifts.

ceres-solver 2.0.0
Dependencies: 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
Build system: cmake
Synopsis: C++ library for solving large optimization problems
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.

libpoly 0.2.0
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/SRI-CSL/libpoly
Licenses: LGPL 3+
Build system: cmake
Synopsis: Manipulate polynomials
Description:

LibPoly is a C library for manipulating polynomials to support symbolic reasoning engines that need to reason about polynomial constraints.

cminpack 1.3.11
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/devernay/cminpack
Licenses: non-copyleft
Build system: cmake
Synopsis: C/C++ rewrite of the MINPACK software
Description:

This is a C version of the minpack minimization package. It has been derived from the fortran code using f2c and some limited manual editing. Extern C linkage permits the package routines to be called from C++.

opencascade-occt 7.6.2
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.

python-ndim 0.1.6
Propagated dependencies: python-sympy@1.13.3
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/diego-hayashi/ndim
Licenses: GPL 3+
Build system: pyproject
Synopsis: Multidimensional volumes and monomial integrals
Description:

ndim computes all kinds of volumes and integrals of monomials over such volumes in a fast, numerically stable way, using recurrence relations.

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

netcdf 4.9.0
Dependencies: curl@8.6.0 hdf4-alt@4.2.16-2 hdf5@1.14.6 libaec@1.0.6 libjpeg-turbo@2.1.4 libxml2@2.14.6 unzip@6.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.unidata.ucar.edu/software/netcdf/
Licenses: X11-style
Build system: gnu
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.

dune-functions 2.10.0
Dependencies: dune-common@2.10.0 dune-istl@2.10.0 dune-localfunctions@2.10.0 dune-grid@2.10.0 dune-geometry@2.10.0 dune-typetree@2.10.0 openblas@0.3.30 metis@5.1.0 python@3.11.14 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
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment
Description:

The dune-functions module provides an abstraction layer for global finite element functions. Its two main concepts are functions implemented as callable objects, and bases of finite element spaces.

numdiff 5.9.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://nongnu.org/numdiff/
Licenses: GPL 3+
Build system: gnu
Synopsis: Compare files with numeric fields
Description:

Numdiff compares files line by line and field by field, ignoring small numeric differences and differences in numeric formats.

slepc 3.24.0
Dependencies: arpack-ng@3.9.1 gfortran@14.3.0
Propagated dependencies: petsc@3.24.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://slepc.upv.es
Licenses: FreeBSD
Build system: gnu
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.

arccore 2.5.0.0
Dependencies: glib@2.83.3 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/arcaneframework/framework
Licenses: ASL 2.0
Build system: cmake
Synopsis: Arcane Framework's base functionalities for simulation code
Description:

Arcane is a development environment for parallel numerical calculation code. It supports the architectural aspects of a calculation code, such as data structures for meshing and parallelism, as well as more environment-related aspects such as dataset configuration.

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

suitesparse-cxsparse 4.4.1
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: Concise eXtended Sparse Matrix Package
Description:

CXSparse is a collection of sparse matrix algorithms for direct methods on both real and complex matrices.

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

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

libblastrampoline 5.1.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/JuliaLinearAlgebra/libblastrampoline
Licenses: Expat
Build system: gnu
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.

dune-common-openmpi 2.10.0
Dependencies: gmp@6.3.0 metis@5.1.0 openblas@0.3.30 python@3.11.14 superlu@5.3.0 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:

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

cadiback 0.2.1-1.789329d
Dependencies: cadical@2.0.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/arminbiere/cadiback
Licenses: Expat
Build system: gnu
Synopsis: Backbone extractor for cadical
Description:

This package provides a tool to determine the backbone of a satisfiable formula. The backbone is the set of literals that are set to true in all models.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31087