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

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.


mate-indicator-applet 1.28.0
Dependencies: gtk+@3.24.51 libindicator@12.10.1 mate-common@1.28.0 mate-panel@1.28.4 hicolor-icon-theme@0.17
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 3+ LGPL 2.1+
Build system: glib-or-gtk
Synopsis: Applet for displaying application indicators on the MATE panel
Description:

This applet displays information from various applications consistently in the MATE panel.

python-caja 1.28.0
Dependencies: caja@1.28.0 gtk+@3.24.51 python-pygobject@3.50.0
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 2+
Build system: glib-or-gtk
Synopsis: Python bindings for Caja components
Description:

This package provides Python bindings to Caja, a file manager for the MATE desktop.

mate-notification-daemon 1.28.3
Dependencies: gtk+@3.24.51 dbus-glib@0.112 libwnck@40.1 libnotify@0.8.3 libcanberra@0.30 mate-desktop@1.28.2 mate-panel@1.28.4 hicolor-icon-theme@0.17
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 2+
Build system: glib-or-gtk
Synopsis: Notification daemon for MATE
Description:

This MATE Desktop component is meant to run on the background and deliver notifications to the user.

mate-themes 3.22.26
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: LGPL 2.1+ CC-BY-SA 3.0 GPL 3+ GPL 2+
Build system: gnu
Synopsis: Official themes for the MATE desktop
Description:

This package includes the standard themes for the MATE desktop, for example Menta, TraditionalOk, GreenLaguna or BlackMate. This package has themes for both gtk+-2 and gtk+-3.

mate-common 1.28.0
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 3+
Build system: gnu
Synopsis: Common files for development of MATE packages
Description:

Mate Common includes common files and macros used by MATE applications.

mate-user-guide 1.28.0
Dependencies: yelp@42.2
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: FDL 1.1+ GPL 2+
Build system: gnu
Synopsis: User Documentation for Mate software
Description:

MATE User Guide is a collection of documentation which details general use of the MATE Desktop environment. Topics covered include sessions, panels, menus, file management, and preferences.

bliss 0.77
Propagated dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://users.aalto.fi/~tjunttil/bliss/index.html
Licenses: LGPL 3
Build system: cmake
Synopsis: Tool for computing automorphism groups and canonical labelings of graphs
Description:

bliss is a library for computing automorphism groups +and canonical forms of graphs. It has both a command line user interface as +well as C++ and C programming language APIs.

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

This package contains the DUNE UG grid classes.

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

scotch 7.0.7
Dependencies: zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.labri.fr/perso/pelegrin/scotch/
Licenses: CeCILL-C
Build system: cmake
Synopsis: Programs and libraries for graph algorithms
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.

maxima 5.47.0
Dependencies: bash-minimal@5.2.37 gnuplot@6.0.1 sbcl@2.5.8 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
Build system: gnu
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.

libflame 5.2.0-0.70c19e7
Dependencies: gfortran@14.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/flame/libflame
Licenses: Modified BSD
Build system: gnu
Synopsis: High-performance library for @acronym{DLA, dense linear algebra} computations
Description:

libflame is a portable library for dense matrix computations, providing much of the functionality present in LAPACK, developed by current and former members of the SHPC group in the Institute for Computational Engineering and Sciences at The University of Texas at Austin. libflame includes a compatibility layer, lapack2flame, which includes a complete LAPACK implementation.

units 2.24
Dependencies: bash-minimal@5.2.37 readline@8.2.13 python-wrapper@3.11.14 python-requests@2.32.5
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/units/
Licenses: GPL 3+
Build system: gnu
Synopsis: Conversion between thousands of scales
Description:

GNU Units converts numeric quantities between units of measure. It can handle scale changes through adaptive usage of standard scale prefixes (micro-, kilo-, etc.). It can also handle nonlinear conversions such as Fahrenheit to Celsius. Its interpreter is powerful enough to be used effectively as a scientific calculator.

sundials-openmpi 5.8.0
Dependencies: openblas@0.3.30 suitesparse@5.13.0
Propagated dependencies: openmpi@4.1.6 hypre-openmpi@2.32.0 petsc-openmpi@3.24.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://computation.llnl.gov/projects/sundials
Licenses: Modified BSD
Build system: cmake
Synopsis: SUNDIALS with MPI support
Description:

SUNDIALS is a family of software packages implemented with the goal of providing robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes.

lrslib 7.2
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://cgm.cs.mcgill.ca/~avis/C/lrs.html
Licenses: GPL 2+
Build system: gnu
Synopsis: Convex hulls of polyhedra with exact arithmetic
Description:

The C code of lrslib implements the reverse search algorithm for vertex enumeration and convex hull problems. Its input file format is compatible with cddlib. All computations are done exactly in either multiple precision or fixed integer arithmetic. Output is not stored in memory, so even problems with very large output sizes can sometimes be solved.

aris 2.2
Dependencies: gtk+@3.24.51 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+
Build system: gnu
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.

ruy 0-1.caa2443
Dependencies: cpuinfo@0.0-5.b73ae6c
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/google/ruy
Licenses: ASL 2.0
Build system: cmake
Synopsis: Matrix multiplication library
Description:

Ruy is a matrix multiplication library. Its focus is to cover the matrix multiplication needs of neural network inference engines. Its initial user has been TensorFlow Lite, where it is used by default on the ARM CPU architecture.

slepc-complex-openmpi 3.24.0
Dependencies: openmpi@4.1.6 gfortran@14.3.0
Propagated dependencies: petsc-complex-openmpi@3.24.0 arpack-ng-openmpi@3.9.1
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 (with complex scalars and 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.

popf 0.0.15
Dependencies: cbc@2.10.5 flex@2.6.4
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/fmrico/popf
Licenses: GPL 2+
Build system: cmake
Synopsis: Forward-chaining temporal planner
Description:

This package contains an implementation of the POPF planner described in Forward-Chaining Partial Order Planning, that has been updated to compile with newer C++ compilers.

minizinc 2.8.4
Dependencies: cbc@2.10.5 chuffed@0.13.2 gecode@6.2.0-1.f7f0d7c zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.minizinc.org
Licenses: MPL 2.0
Build system: cmake
Synopsis: High-level constraint modeling language
Description:

MiniZinc is a high-level modeling language for constraint satisfaction and optimization problems. Models are compiled to FlatZinc, a language understood by many solvers.

hpcombi 1.1.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://libsemigroups.github.io/HPCombi/
Licenses: GPL 3+
Build system: cmake
Synopsis: Fast combinatorics in C++ using SSE/AVX instruction sets
Description:

HPCombi is a C++17 header-only library using the SSE and AVX instruction sets, and some equivalents, for very fast manipulation of combinatorial objects such as transformations, permutations, and boolean matrices of small size.

gecode 6.2.0-1.f7f0d7c
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gecode.org
Licenses: Expat
Build system: gnu
Synopsis: Toolkit for developing constraint-based systems
Description:

Gecode is a C++ toolkit for developing constraint-based systems and applications. It provides a modular and extensible solver.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31087