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

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.


exercism-cli 3.5.7
Dependencies: xdg-utils@1.2.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://exercism.org/
Licenses: Expat
Synopsis: Mentored learning for programming languages
Description:

Commandline client for exercism.io, a free service providing mentored learning for programming languages.

kanatest 0.4.10-0.860e790
Dependencies: libxml2@2.14.6 gtk+@3.24.49
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://kanatest.sourceforge.io/
Licenses: GPL 2+
Synopsis: Hiragana and Katakana simple flashcard tool
Description:

Kanatest is a Japanese kana (Hiragana and Katakana) simple flashcard tool.

During test the Kanatest displays randomly selected kana char (respecting mode and lesson) and waits for user answer expected as romaji equivalent. This process continues until all questions will be answered or all questions will be answered correctly (depends on options). At the end of test a short info about drilling time and correctness ratio is displayed. The results are stored and user can review his performance in any time.

tipp10 3.3.4
Dependencies: qtbase@6.9.2 qtmultimedia@6.9.2
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://www.tipp10.com/en/
Licenses: GPL 2
Synopsis: Touch typing tutor
Description:

Tipp10 is a touch typing tutor. The ingenious thing about the software is its intelligence feature: characters that are mistyped are repeated more frequently. Beginners will find their way around right away so they can start practicing without a hitch.

Useful support functions and an extensive progress tracker, topical lessons and the ability to create your own practice lessons make learning to type easy.

snap 7.0.5
Dependencies: bash-minimal@5.2.37 js-filesaver@1.3.8 xdg-utils@1.2.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://snap.berkeley.edu
Licenses: AGPL 3+
Synopsis: Visual, blocks based programming language
Description:

Snap! (formerly BYOB) is a visual, drag-and-drop programming language. It is an extended reimplementation of Scratch (a project of the Lifelong Kindergarten Group at the MIT Media Lab) that allows you to Build Your Own Blocks. It also features first class lists, first class procedures, and continuations. These added capabilities make it suitable for a serious introduction to computer science for high school or college students.

This package provides a snap executable calling xdg-open to open the application in a web browser, for offline usage.

fet 7.5.4
Dependencies: qtbase@6.9.2
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://www.lalescu.ro/liviu/fet/
Licenses: AGPL 3
Synopsis: Timetabling software
Description:

FET is a program for automatically scheduling the timetable of a school, high-school or university. It uses a fast and efficient timetabling algorithm.

Usually, FET is able to solve a complicated timetable in maximum 5-20 minutes. For extremely difficult timetables, it may take a longer time, a matter of hours.

efitools 1.9.2
Dependencies: gnu-efi@3.0.18 openssl@3.0.8
Channel: guix
Location: gnu/packages/efi.scm (gnu packages efi)
Home page: https://blog.hansenpartnership.com/efitools-1-4-with-linux-key-manipulation-utilities-released/
Licenses: GPL 2 LGPL 2.1
Synopsis: EFI tools (key management, variable management)
Description:

This package provides EFI tools for EFI key management and EFI variable management.

gnu-efi 3.0.18
Channel: guix
Location: gnu/packages/efi.scm (gnu packages efi)
Home page: https://directory.fsf.org/wiki/GNU_EFI
Licenses: FreeBSD Modified BSD Original BSD Expat
Synopsis: EFI toolchain
Description:

This package provides an EFI toolchain for building programs that can run in the environment presented by Intel's EFI.

efi-analyzer 0.0.0-0.77c9e3a
Channel: guix
Location: gnu/packages/efi.scm (gnu packages efi)
Home page: https://github.com/xypron/efi_analyzer
Licenses: FreeBSD
Synopsis: Analyze EFI binaries
Description:

The EFI Analyzer checks EFI binaries and prints out header and section information.

sbsigntools 0.9.5
Dependencies: gnu-efi@3.0.18 util-linux@2.40.4 openssl@3.0.8
Channel: guix
Location: gnu/packages/efi.scm (gnu packages efi)
Home page: https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/
Licenses: GPL 3+
Synopsis: EFI signing tools
Description:

This package provides tools for signing EFI binaries.

efilinux 1.1
Dependencies: gnu-efi@3.0.18
Channel: guix
Location: gnu/packages/efi.scm (gnu packages efi)
Home page: https://github.com/mfleming/efilinux
Licenses: FreeBSD
Synopsis: Minimal Linux loader for UEFI
Description:

This package provides a minimal Linux loader as an UEFI program.

python-migen 0.9.2-1.6e3a9e1
Propagated dependencies: python-colorama@0.4.6
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://m-labs.hk/gateware/migen/
Licenses: FreeBSD
Synopsis: Python toolbox for building complex digital hardware
Description:

Migen FHDL is a Python library that replaces the event-driven paradigm of Verilog and VHDL with the notions of combinatorial and synchronous statements, has arithmetic rules that make integers always behave like mathematical integers, and allows the design's logic to be constructed by a Python program.

python-surf 2.57.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://slaclab.github.io/surf/
Licenses: non-copyleft
Synopsis: SLAC Ultimate RTL Framework
Description:

Surf is a python library with support functions for VHDL gateware digital design. It provides implementation modules compatible with FPGA and ASIC design.

osvvm 2025.06a
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://osvvm.github.io/Overview/Osvvm1About.html/
Licenses: ASL 2.0
Synopsis: The OSVVM VHDL Verification Libraries and Scripts
Description:

OSVVM is a verification methodology that defines a VHDL verification framework, verification utility library, verification component library, scripting API, and co-simulation capability for FPGA or ASIC verification.

python-hdlmake 4.0
Propagated dependencies: python-networkx@3.4.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://ohwr.gitlab.io/project/hdl-make/
Licenses: GPL 3+
Synopsis: Generate multi-purpose makefiles for HDL projects
Description:

Hdlmake helps manage and share HDL code by automatically finding file dependencies, writing synthesis and simulation Makefiles.

nextpnr-cli 0.9-0.ad76625
Dependencies: apycula@0.27 boost@1.83.0 corrosion@0.5.1 eigen@3.4.0 pybind11@2.13.6 python@3.11.11 qtbase@5.15.16 qtwayland@5.15.16
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/nextpnr/
Licenses: ISC
Synopsis: Place-and-Route tool for FPGAs Cli only version.
Description:

Nextpnr is a portable FPGA place and route tool.

pulseview 0.4.2
Dependencies: boost@1.83.0 glib@2.83.3 glibmm@2.82.0 libsigrok@0.5.2-2.f06f788 libsigrokdecode@0.5.3-1.71f4514 qtbase@5.15.16 qtsvg@5.15.16
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.sigrok.org/wiki/PulseView
Licenses: GPL 3+
Synopsis: Qt based logic analyzer, oscilloscope and MSO GUI for sigrok
Description:

PulseView is a Qt based logic analyzer, oscilloscope and MSO GUI for sigrok.

yosys-clang 0.58
Dependencies: abc-yosyshq@0.58 bash-minimal@5.2.37 graphviz@7.0.1 gtkwave@3.4.0-0.bb978d9 libffi@3.4.6 psmisc@23.7 python@3.11.11 python-click@8.1.8 readline@8.2.13 tcl@8.6.12 xdot@1.4 z3@4.13.0 zlib@1.3.1 clang@13.0.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://yosyshq.net/yosys/
Licenses: ISC
Synopsis: FPGA Verilog RTL synthesizer (Clang variant)
Description:

Yosys synthesizes Verilog-2005.

python-pydigitalwavetools 1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Nic30/pyDigitalWaveTools/
Licenses: Expat
Synopsis: Library to manipulate digital wave files
Description:

Pydigitalwavetools is a Python library to parse, write and format digital wave files in VCD format, a standardized ASCII format used to store simulation data from Verilog and other hardware description languages.

libsigrokdecode 0.5.3-1.71f4514
Propagated dependencies: glib@2.83.3 python@3.11.11
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.sigrok.org/wiki/Libsigrokdecode
Licenses: GPL 3+
Synopsis: Library providing (streaming) protocol decoding functionality
Description:

Libsigrokdecode is a shared library written in C, which provides (streaming) protocol decoding functionality.

xoscope 2.3-0.0.0.d97b9b1
Dependencies: alsa-lib@1.2.11 comedilib@0.13.0 fftw@3.3.10 gtk+@3.24.49 gtkdatabox@1.0.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://xoscope.sourceforge.net/
Licenses: GPL 2+
Synopsis: Digital oscilloscope
Description:

Xoscope is a digital oscilloscope that can acquire signals from ALSA, ESD, and COMEDI sources. This package currently does not include support for ESD or COMEDI sources.

verilator 5.040
Dependencies: perl@5.36.0 python@3.11.11 systemc@3.0.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.veripool.org/verilator/
Licenses: LGPL 3
Synopsis: Verilog/SystemVerilog simulator
Description:

Verilator transforms the specified Verilog or SystemVerilog code by reading it, performing lint checks, and optionally inserting assertion checks and coverage-analysis points. It outputs single- or multi-threaded .cpp and .h files.

python-pyucis 0.1.5
Propagated dependencies: python-jsonschema-objects@0.5.7 python-lxml@6.0.1 python-pyyaml@6.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://fvutils.github.io/pyucis//
Licenses: ASL 2.0
Synopsis: Python interface to UCIS data
Description:

The codePyUCIS library provides two APIs for creating and accessing coverage data via the UCIS data mode.

aacircuit 0-0.18635c8
Dependencies: bash-minimal@5.2.37 gtk+@3.24.49 python-bresenham@0.2.1 python-platformdirs@4.3.6 python-pycairo@1.28.0 python-pyclip@0.7.0 python-pygobject@3.50.0 python-pypubsub@4.0.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Blokkendoos/AACircuit
Licenses: GPL 3+
Synopsis: Draw electronic circuits with ASCII characters
Description:

This is a pythonized, kind of reverse engineered version of original AACircuit written by Andreas Weber in Borland Delphi. The idea and GUI layout are also taken from the original.

pcb-rnd 3.1.7b
Dependencies: librnd@4.3.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://repo.hu/projects/pcb-rnd/
Licenses: GPL 2+
Synopsis: Modular layout editor
Description:

Pcb-rnd is a Printed Circuit Board layout editor, part of the RiNgDove EDA suite.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109