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

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

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.

tagainijisho 1.2.2
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://www.tagaini.net
Licenses: GPL 3+
Synopsis: Japanese dictionary and learning assistant
Description:

Tagaini Jisho is a Japanese dictionary and kanji lookup tool. It aims at becoming your Japanese study assistant. It allows you to quickly search for entries and mark those that you wish to study, along with tags and personal notes. It also let you train entries you are studying and follows your progression in remembering them. Finally, it makes it easy to review entries you did not remember by listing them on screen or printing them on a small booklet.

Tagaini Jisho also features complete stroke order animations for more than 6000 kanji.

cf-tool 1.0.0
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://github.com/xalanq/cf-tool
Licenses: Expat
Synopsis: Command-line interface tool for @url{https://codeforces.com, Codeforces}
Description:

Codeforces Tool is a command-line interface tool for Codeforces. Its features include:

  • support Contests, Gym, Groups and acmsguru

  • support all programming languages in Codeforces

  • submit codes

  • watch submissions' status dynamically

  • fetch problems' samples

  • compile and test locally

  • clone all codes of someone

  • generate codes from the specified template (including timestamp, author, etc.)

  • list problems' stats of one contest

  • use default web browser to open problems' pages, standings' page, etc.

  • setup a network proxy and setup a mirror host

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.

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.

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.

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.

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.

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.

python-myhdl 0.11-0.7dc29c2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://www.myhdl.org/
Licenses: LGPL 2.1+
Synopsis: Python as a Hardware Description Language
Description:

This package provides a library to turn Python into a hardware description and verification language.

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.

nextpnr-ice40 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 qtimgui@0.0-0.48d64a7
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
Description:

Nextpnr is a portable FPGA place and route tool.

libserialport 0.1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://sigrok.org/wiki/Libserialport
Licenses: LGPL 3+
Synopsis: Library for using serial ports
Description:

Libserialport is a minimal shared library written in C that is intended to take care of the OS-specific details when writing software that uses serial ports.

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.

abc 0.0-7.c8eac75
Dependencies: readline@8.2.13
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://people.eecs.berkeley.edu/~alanmi/abc/
Licenses: non-copyleft
Synopsis: Sequential logic synthesis and formal verification
Description:

ABC is a program for sequential logic synthesis and formal verification.

symbiyosys 0.58
Dependencies: abc-yosyshq@0.58 boolector@3.2.2 git-minimal@2.50.0 python@3.11.11 python-click@8.1.8 python-xmlschema@4.1.0 z3@4.13.0 yices@2.6.4 yosys@0.58
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/sby/
Licenses: ISC
Synopsis: Formal hardware verification with yosys
Description:

SimbyYosys is a front-end program for yosys-based formal hardware verification flows.

m8c 2.2.0
Dependencies: libdecor@0.2.2 libserialport@0.1.2 sdl3@3.2.10
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/laamaa/m8c
Licenses: CC-BY-SA 3.0 Expat Public Domain Zlib
Synopsis: Cross-platform M8 tracker headless client
Description:

The Dirtywave M8 Tracker is a portable sequencer and synthesizer, featuring 8 tracks of assignable instruments such as FM, waveform synthesis, virtual analog, sample playback, and MIDI output. It is powered by a Teensy micro-controller and inspired by the Gameboy tracker Little Sound DJ. m8c is a client for M8 Headless which allows one to install the M8 firmware on any Teensy.

route-rnd 0.9.3
Dependencies: librnd@4.3.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://repo.hu/projects/route-rnd/
Licenses: GPL 2+
Synopsis: Automatic routing for electronics boards
Description:

Route-rnd is a generic external autorouter for PCB using tEDAx file format, part of the RiNgDove EDA suite.

iverilog 12.0
Dependencies: zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://steveicarus.github.io/iverilog/
Licenses: GPL 2 LGPL 2.1+
Synopsis: FPGA Verilog simulation and synthesis tool
Description:

Icarus Verilog is a Verilog simulation and synthesis tool. It operates as a compiler, compiling source code written in Verilog (IEEE-1364) into some target format. For batch simulation, the compiler can generate an intermediate form called vvp assembly. This intermediate form is executed by vvp. For synthesis, the compiler generates netlists in the desired format.

libfst 1.0.0-0.6a52070
Dependencies: bzip2@1.0.8
Propagated dependencies: zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/gtkwave/libfst/
Licenses: Expat FreeBSD
Synopsis: Fast Signal Trace (FST) format waveforms library
Description:

Libfst is a small library used to read and write FST format waveforms.

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.

python-cocotb 2.0.0
Propagated dependencies: python-find-libpython@0.4.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/cocotb/cocotb
Licenses: Modified BSD
Synopsis: Library for writing HDL test benches in Python
Description:

Coroutine based cosimulation test bench environment for verifying VHDL and Verilog RTL using Python.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109