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

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.49 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+
Synopsis: Applet for displaying application indicators on the MATE panel
Description:

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

mate-polkit 1.28.1
Dependencies: accountsservice@23.13.9 glib@2.83.3 gobject-introspection@1.82.0 gtk+@3.24.49 gdk-pixbuf@2.42.12 polkit@121
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: LGPL 2.1
Synopsis: Polkit authentication agent for MATE
Description:

MATE Polkit is a MATE specific D-Bus service that is used to bring up authentication dialogs.

mate-icon-theme-faenza 1.20.0
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 2+
Synopsis: MATE desktop environment icon theme faenza
Description:

Icon theme using Faenza and Faience icon themes and some customized icons for MATE. Furthermore it includes some icons from Mint-X-F and Faenza-Fresh icon packs.

mate-panel 1.28.4
Dependencies: dconf@0.40.0 dconf-editor@45.0.1 cairo@1.18.4 dbus-glib@0.112 gtk-layer-shell@0.9.0 gtk+@3.24.49 libcanberra@0.30 libice@1.1.2 libmateweather@1.28.0 librsvg@2.58.5 libsm@1.2.5 libx11@1.8.12 libxau@1.0.12 libxml2@2.14.6 libxrandr@1.5.4 libwnck@40.1 mate-desktop@1.28.2 mate-menus@1.28.0 pango@1.54.0 tzdata@2025a wayland@1.24.0
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 2+ LGPL 2.0+
Synopsis: Panel for MATE
Description:

Mate-panel contains the MATE panel, the libmate-panel-applet library and several applets. The applets supplied here include the Workspace Switcher, the Window List, the Window Selector, the Notification Area, the Clock and the infamous 'Wanda the Fish'.

mate-system-monitor 1.28.1
Dependencies: cairo@1.18.4 glib@2.83.3 glibmm@2.82.0 gtkmm@3.24.9 gtk+@3.24.49 gdk-pixbuf@2.42.12 libsigc++@3.6.0 libcanberra@0.30 libxml2@2.14.6 libwnck@40.1 libgtop@2.41.3 librsvg@2.58.5 polkit@121
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 2
Synopsis: System Monitor for MATE
Description:

Mate System Monitor provides a tool for for the MATE Desktop to monitor your system resources and usage.

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

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

atril 1.28.1
Dependencies: at-spi2-core@2.52.0 cairo@1.18.4 caja@1.28.0 dconf@0.40.0 dbus@1.15.8 dbus-glib@0.112 djvulibre@3.5.28 fontconfig-minimal@2.14.0 freetype@2.13.3 ghostscript@9.56.1 glib@2.83.3 gtk+@3.24.49 js-mathjax@2.7.2 libcanberra@0.30 libsecret@0.21.4 libspectre@0.2.10 libtiff@4.4.0 libx11@1.8.12 libice@1.1.2 libsm@1.2.5 libgxps@0.3.2 libjpeg-turbo@2.1.4 libxml2@2.14.6 mate-desktop@1.28.2 python-dogtail@0.9.11 shared-mime-info@2.3 gdk-pixbuf@2.42.12 gsettings-desktop-schemas@46.1 libgnome-keyring@3.12.0 libarchive@3.7.7 marco@1.28.1 openjpeg@2.5.0 pango@1.54.0 poppler@22.09.0 startup-notification@0.12 webkitgtk-for-gtk3@2.48.1
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org
Licenses: GPL 2
Synopsis: Document viewer for Mate
Description:

Atril is a simple multi-page document viewer. It can display and print PostScript, Encapsulated PostScript EPS, DJVU, DVI, XPS and Portable Document Format PDF files. When supported by the document, it also allows searching for text, copying text to the clipboard, hypertext navigation, and table-of-contents bookmarks.

mate-power-manager 1.28.1
Dependencies: gtk+@3.24.49 glib@2.83.3 dbus-glib@0.112 libgnome-keyring@3.12.0 cairo@1.18.4 dbus@1.15.8 libnotify@0.8.3 mate-desktop@1.28.2 mate-panel@1.28.4 libxrandr@1.5.4 libcanberra@0.30 libsecret@0.21.4 startup-notification@0.12 upower@1.90.2
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: GPL 2+
Synopsis: Power manager for MATE
Description:

MATE Power Manager is a MATE session daemon that acts as a policy agent on top of UPower. It listens to system events and responds with user-configurable actions.

libmateweather 1.28.0
Dependencies: gtk+@3.24.49 tzdata@2025a
Propagated dependencies: libsoup-minimal@2.74.3 libxml2@2.14.6
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: LGPL 2.1+
Synopsis: MATE library for weather information from the Internet
Description:

This library provides access to weather information from the internet for the MATE desktop environment.

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

wxmaxima 25.04.0
Dependencies: bash-minimal@5.2.37 wxwidgets@3.2.8.1 maxima@5.47.0 adwaita-icon-theme@46.2 gtk+@3.24.49 shared-mime-info@2.3
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://wxmaxima-developers.github.io/wxmaxima/
Licenses: GPL 2+
Synopsis: Graphical user interface for the Maxima computer algebra system
Description:

wxMaxima is a graphical user interface for the Maxima computer algebra system. It eases the use of Maxima by making most of its commands available through a menu system and by providing input dialogs for commands that require more than one argument. It also implements its own display engine that outputs mathematical symbols directly instead of depicting them with ASCII characters.

wxMaxima also features 2D and 3D inline plots, simple animations, mixing of text and mathematical calculations to create documents, exporting of input and output to TeX, and a browser for Maxima's manual including command index and full text searching.

dune-typetree 2.10.0
Dependencies: dune-common@2.10.0 openblas@0.3.30 python@3.11.11 metis@5.1.0 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
Synopsis: Distributed and Unified Numerics Environment
Description:

TypeTree is a template library for constructing and operating on statically typed trees of objects.

java-smtinterpol 2.5
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://ultimate.informatik.uni-freiburg.de/smtinterpol/
Licenses: LGPL 3+
Synopsis: Interpolating SMT solver
Description:

SMTInterpol is an SMT solver, that can compute Craig interpolants for various theories.

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.

hdf5 1.8.23
Dependencies: zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.hdfgroup.org
Licenses: X11-style
Synopsis: Management suite for extremely large and complex data
Description:

HDF5 is a suite that makes possible the management of extremely large and complex data collections.

pt-scotch32 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 and 32-bit integers)
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.

wcalc 2.5
Dependencies: mpfr@4.2.2 readline@8.2.13
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://w-calc.sourceforge.net/index.php
Licenses: GPL 2+
Synopsis: Flexible command-line scientific calculator
Description:

Wcalc is a very capable calculator. It has standard functions (sin, asin, and sinh for example, in either radians or degrees), many pre-defined constants (pi, e, c, etc.), support for using variables, "active" variables, a command history, hex/octal/binary input and output, unit conversions, embedded comments, and an expandable expression entry field. It evaluates expressions using the standard order of operations.

itex2mml 1.6.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://golem.ph.utexas.edu/~distler/blog/itex2MML.html
Licenses: LGPL 2.0+ GPL 2+ MPL 1.1
Synopsis: LaTeX to XHTML/MathML converter
Description:

The itex2MML utility is a stream filter. It takes text with embedded itex equations, converts the itex equations to MathML, and outputs the resulting text.

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

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.

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.

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

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109