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

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.


lc0-maia-1500 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lean4 4.17.0
Dependencies: cadical@2.0.0 gmp@6.3.0 libuv@1.44.2 llvm@13.0.1
Channel: guix
Location: gnu/packages/lean.scm (gnu packages lean)
Home page: https://lean-lang.org
Licenses: ASL 2.0
Synopsis: Theorem prover and programming language
Description:

Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.

python-mathlibtools 1.1.1
Dependencies: python-toml@0.10.2 python-pygithub@2.8.1 python-certifi@2025.06.15 python-gitpython@3.1.44 python-requests@2.32.5 python-click@8.1.8 python-tqdm@4.67.1 python-networkx@3.4.2 python-pydot@4.0.1 python-pyyaml@6.0.2 python-atomicwrites@1.4.0
Channel: guix
Location: gnu/packages/lean.scm (gnu packages lean)
Home page: https://github.com/leanprover-community/mathlib-tools
Licenses: ASL 2.0
Synopsis: Development tools for Lean mathlib
Description:

This package contains leanproject, a supporting tool for Lean mathlib, a mathematical library for the Lean theorem prover.

lean 3.51.1
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/lean.scm (gnu packages lean)
Home page: https://lean-lang.org
Licenses: ASL 2.0
Synopsis: Theorem prover and programming language
Description:

Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.

nqc 3.1.r6
Channel: guix
Location: gnu/packages/lego.scm (gnu packages lego)
Home page: https://bricxcc.sourceforge.net/nqc/
Licenses: MPL 1.0
Synopsis: C-like language for Lego's MINDSTORMS
Description:

Not Quite C (NQC) is a simple language for programming several Lego MINDSTORMS products. The preprocessor and control structures of NQC are very similar to C. NQC is not a general purpose language -- there are many restrictions that stem from limitations of the standard RCX firmware.

leocad 23.03
Dependencies: mesa@25.2.3 qtbase@5.15.16 zlib@1.3.1
Channel: guix
Location: gnu/packages/lego.scm (gnu packages lego)
Home page: https://www.leocad.org
Licenses: GPL 2+
Synopsis: Create virtual Lego models
Description:

LeoCAD is a program for creating virtual LEGO models. It has an intuitive interface, designed to allow new users to start creating new models without having to spend too much time learning the application. LeoCAD is fully compatible with the LDraw Standard and related tools.

lesspipe 2.17
Dependencies: file@5.46 ncurses@6.2.20210619 perl-archive-zip@1.68
Channel: guix
Location: gnu/packages/less.scm (gnu packages less)
Home page: https://github.com/wofr06/lesspipe
Licenses: GPL 2+
Synopsis: Input filter for less
Description:

To browse files, the excellent viewer less can be used. By setting the environment variable LESSOPEN, less can be enhanced by external filters to become more powerful. The input filter for less described here is called lesspipe.sh. It is able to process a wide variety of file formats. It enables users to inspect archives and display their contents without having to unpack them before. The filter is easily extensible for new formats.

less 608
Dependencies: ncurses@6.2.20210619
Channel: guix
Location: gnu/packages/less.scm (gnu packages less)
Home page: https://www.gnu.org/software/less/
Licenses: GPL 3+
Synopsis: Paginator for terminals
Description:

GNU less is a pager, a program that allows you to view large amounts of text in page-sized chunks. Unlike traditional pagers, it allows both backwards and forwards movement through the document. It also does not have to read the entire input file before starting, so it starts faster than most text editors.

motif 2.3.8-1.0f556b0
Dependencies: libx11@1.8.12 xorgproto@2024.1
Propagated dependencies: fontconfig-minimal@2.14.0 freetype@2.13.3 libxext@1.3.6 libxft@2.3.8 libxpm@3.5.17 libxt@1.3.1 xbitmaps@1.1.3
Channel: guix
Location: gnu/packages/lesstif.scm (gnu packages lesstif)
Home page: https://motif.ics.com/motif
Licenses: LGPL 2.1+
Synopsis: Toolkit for the X window system
Description:

Motif is a standard graphical user interface, (as defined by the IEEE 1295 specification), used on more than 200 hardware and software platforms. It provides application developers, end users, and system vendors with a widely used environment for standardizing application presentation on a wide range of platforms.

libbsd 0.11.7
Dependencies: libmd@1.0.4
Channel: guix
Location: gnu/packages/libbsd.scm (gnu packages libbsd)
Home page: https://libbsd.freedesktop.org/wiki/
Licenses: FreeBSD Modified BSD Original BSD Expat ISC Public Domain non-copyleft
Synopsis: Utility functions from BSD systems
Description:

This library provides useful functions commonly found on BSD systems, and lacking on others like GNU systems, thus making it easier to port projects with strong BSD origins, without needing to embed the same code over and over again on each project.

python-pycanberra 0.1.1
Propagated dependencies: libcanberra@0.30
Channel: guix
Location: gnu/packages/libcanberra.scm (gnu packages libcanberra)
Home page: https://github.com/totdb/pycanberra
Licenses: LGPL 2.1+
Synopsis: Ctypes wrapper for the libcanberra API
Description:

Pycanberra is a basic Python wrapper for libcanberra.

libcanberra 0.30
Dependencies: alsa-lib@1.2.11 gstreamer@1.26.3 gtk+@3.24.49 libltdl@2.4.7 libvorbis@1.3.7 pulseaudio@16.1 eudev@3.2.14 sound-theme-freedesktop@0.8
Channel: guix
Location: gnu/packages/libcanberra.scm (gnu packages libcanberra)
Home page: https://0pointer.de/lennart/projects/libcanberra/
Licenses: LGPL 2.1+
Synopsis: Implementation of the XDG Sound Theme and Name Specifications
Description:

Libcanberra is an implementation of the XDG Sound Theme and Name Specifications, for generating event sounds on free desktops, such as GNOME. It comes with several backends (ALSA, PulseAudio, OSS, GStreamer, null) and is designed to be portable.

sound-theme-freedesktop 0.8
Channel: guix
Location: gnu/packages/libcanberra.scm (gnu packages libcanberra)
Home page: https://www.freedesktop.org/wiki/Specifications/sound-theme-spec/
Licenses: CC-BY-SA 4.0 CC-BY 3.0 GPL 2 GPL 2+
Synopsis: Audio samples for use as a desktop sound theme
Description:

This package provides audio samples that can be used by libcanberra as sounds for various system events.

libdaemon 0.14
Channel: guix
Location: gnu/packages/libdaemon.scm (gnu packages libdaemon)
Home page: https://0pointer.de/lennart/projects/libdaemon/
Licenses: LGPL 2.1+
Synopsis: Lightweight C library that eases the writing of UNIX daemons
Description:

Libdaemon is a lightweight C library that eases the writing of UNIX daemons. It consists of the following parts:

• A wrapper around fork() which does the correct daemonization procedure of a process

• A wrapper around syslog() for simpler and compatible log output to Syslog or STDERR

• An API for writing PID files

• An API for serializing UNIX signals into a pipe for usage with select() or poll()

• An API for running subprocesses with STDOUT and STDERR redirected to syslog.

APIs like these are used in most daemon software available. It is not that simple to get it done right and code duplication is not a goal.

editline 1.17.1
Channel: guix
Location: gnu/packages/libedit.scm (gnu packages libedit)
Home page: https://troglobit.com/projects/editline/
Licenses: Original BSD
Synopsis: Line editing library
Description:

editline is a small line editing library. It can be linked into almost any program to provide command line editing and history functions. It is call compatible with the GNU Readline library, but at a fraction of the size, and as a result fewer features.

libedit 20191231-3.1
Dependencies: ncurses@6.2.20210619
Channel: guix
Location: gnu/packages/libedit.scm (gnu packages libedit)
Home page: https://thrysoee.dk/editline/
Licenses: Modified BSD
Synopsis: NetBSD Editline library
Description:

This is an autotool- and libtoolized port of the NetBSD Editline library (libedit). This Berkeley-style licensed command line editor library provides generic line editing, history, and tokenization functions, similar to those found in GNU Readline.

libevent-with-openssl 2.1.12
Dependencies: openssl@3.0.8 python-wrapper@3.11.11
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: https://libevent.org/
Licenses: Modified BSD
Synopsis: Event notification library
Description:

The libevent API provides a mechanism to execute a callback function when a specific event occurs on a file descriptor or after a timeout has been reached. Furthermore, libevent also support callbacks due to signals or regular timeouts.

libevent is meant to replace the event loop found in event driven network servers. An application just needs to call event_dispatch() and then add or remove events dynamically without having to change the event loop.

libevent 2.1.12
Dependencies: python-wrapper@3.11.11
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: https://libevent.org/
Licenses: Modified BSD
Synopsis: Event notification library
Description:

The libevent API provides a mechanism to execute a callback function when a specific event occurs on a file descriptor or after a timeout has been reached. Furthermore, libevent also support callbacks due to signals or regular timeouts.

libevent is meant to replace the event loop found in event driven network servers. An application just needs to call event_dispatch() and then add or remove events dynamically without having to change the event loop.

perl-rpc-epc-service 0.0.11
Propagated dependencies: perl-anyevent@7.17 perl-data-sexpression@0.41
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: https://metacpan.org/release/RPC-EPC-Service
Licenses: GPL 1+
Synopsis: Asynchronous remote procedure stack
Description:

RPC::EPC::Service enables to connect the other process with the S-expression protocol, like the Swank protocol of the SLIME.

libuv 1.43.0
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: https://github.com/libuv/libuv
Licenses: Expat CC-BY 4.0
Synopsis: Library for asynchronous I/O
Description:

libuv is a multi-platform support library with a focus on asynchronous I/O. Among other things, it supports event loops via epoll, kqueue, and similar IOCP, and event ports, asynchronous TCP/UDP sockets, asynchronous DNS resolution, asynchronous file system operations, and threading primitives.

libuv 1.43.0
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: https://github.com/libuv/libuv
Licenses: Expat CC-BY 4.0
Synopsis: Library for asynchronous I/O
Description:

libuv is a multi-platform support library with a focus on asynchronous I/O. Among other things, it supports event loops via epoll, kqueue, and similar IOCP, and event ports, asynchronous TCP/UDP sockets, asynchronous DNS resolution, asynchronous file system operations, and threading primitives.

libuv 1.44.2
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: https://github.com/libuv/libuv
Licenses: Expat CC-BY 4.0
Synopsis: Library for asynchronous I/O
Description:

libuv is a multi-platform support library with a focus on asynchronous I/O. Among other things, it supports event loops via epoll, kqueue, and similar IOCP, and event ports, asynchronous TCP/UDP sockets, asynchronous DNS resolution, asynchronous file system operations, and threading primitives.

perl-anyevent 7.17
Propagated dependencies: perl-async-interrupt@1.26 perl-ev@4.31 perl-guard@1.023 perl-json@4.02 perl-json-xs@4.0 perl-net-ssleay@1.94 perl-task-weaken@1.06
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: https://metacpan.org/release/AnyEvent
Licenses: GPL 1+
Synopsis: API for I/O, timer, signal, child process and completion events
Description:

This module allows using a variety of events without forcing module authors to pick a specific event loop, and without noticeable overhead. Currently supported event loops are EV, Event, Glib/Gtk2, Tk, Qt, Event::Lib, Irssi, IO::Async and POE (and thus also WxWidgets and Prima). It also comes with a very fast Pure Perl event loop that does not rely on XS.

libev 4.33
Channel: guix
Location: gnu/packages/libevent.scm (gnu packages libevent)
Home page: http://software.schmorp.de/pkg/libev.html
Licenses: FreeBSD GPL 2+
Synopsis: Event loop loosely modelled after libevent
Description:

libev provides a full-featured and high-performance event loop that is loosely modelled after libevent. It includes relative timers, absolute timers with customized rescheduling, synchronous signals, process status change events, event watchers dealing with the event loop itself, file watchers, and limited support for fork events.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109