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

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.


libpsf 0.2-0.001dc73
Dependencies: boost@1.89.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://gitlab.com/libpsf/libpsf-core
Licenses: LGPL 3
Synopsis: PSF simulation data c++ library
Description:

libpsf is a c++ library that reads Cadence PSF binary waveform files.

gerbv 2.10.0
Dependencies: cairo@1.18.4 gtk+@2.24.33
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://gerbv.github.io/
Licenses: GPL 2+
Synopsis: Gerber file viewer
Description:

Gerbv is a viewer for files in the Gerber format (RS-274X only), which is commonly used to represent printed circuit board (PCB) layouts. Gerbv lets you load several files on top of each other, do measurements on the displayed image, etc. Besides viewing Gerbers, you may also view Excellon drill files as well as pick-place files.

abc 0.0-8.ee04349
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.

icestorm 1.1
Dependencies: libftdi@1.5
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://prjicestorm.readthedocs.io/
Licenses: ISC
Synopsis: Bitstream tools for Lattice iCE40 FPGAs
Description:

Project IceStorm aims at documenting the bitstream format of Lattice iCE40 FPGAs and providing simple tools for analyzing and creating bitstream files.

yosys 0.60
Dependencies: abc-yosyshq@0.60 bash-minimal@5.2.37 clang@13.0.1 editline@1.17.1 libffi@3.4.6 psmisc@23.7 python@3.11.14 python-click@8.1.8 readline@8.2.13 tcl@8.6.12 z3@4.13.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://yosyshq.net/yosys/
Licenses: ISC
Synopsis: Open synthesis suite for RTL code
Description:

Yosys consist on a framework of RTL synthesis tools. It currently has extensive Verilog-2005 support, and performs synthesis of VHDL code using external plugins. It provides a basic set of synthesis algorithms for various application domains, including FPGAs and ASICs.

python-cocotbext-axi 0.1.26
Propagated dependencies: python-cocotb@2.0.1 python-cocotb-bus@0.3.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/alexforencich/cocotbext-axi/
Licenses: Expat
Synopsis: Extra @acronym{AXI, Advanced Extensible Interface} modules for cocotb
Description:

This package provides an extension to cocotb in the form of AXI, AXI lite, and AXI stream modules.

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.

nextpnr 0.9-0.ad76625
Dependencies: apycula@0.28 boost@1.83.0 corrosion@0.5.1 eigen@3.4.0 pybind11@2.13.6 python@3.11.14 qtbase@5.15.17 qtwayland@5.15.17 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.

qucs-s 25.2.0
Dependencies: bash-minimal@5.2.37 ngspice@45.2 octave-cli@10.3.0 qtbase@6.9.2 qtcharts@6.9.2 qtsvg@6.9.2 qtwayland@6.9.2 qucsator-rf@1.0.7 qucsrflayout-cli@2.1.2 xyce-serial@7.10.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://ra3xdh.github.io/
Licenses: GPL 2+
Synopsis: GUI for different circuit simulation kernels
Description:

Qucs-S provides a fancy graphical user interface for a number of popular circuit simulation engines. The package contains libraries for schematic capture, visualization and components. The following simulation kernels are supported:

  • Ngspice (recommended)

  • Xyce

  • SpiceOpus

  • Qucsator (non-SPICE)

sch-rnd 1.0.10
Dependencies: librnd@4.3.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://repo.hu/projects/sch-rnd/
Licenses: GPL 2+
Synopsis: Scriptable editor of schematics for electronics boards
Description:

Sch-rnd is a standalone and workflow agnostic schematics capture tool for PCB, part of the RiNgDove EDA suite.

libngspice 45.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://ngspice.sourceforge.io/
Licenses: LGPL 2.0+ non-copyleft Modified BSD Public Domain
Synopsis: Mixed-level/mixed-signal circuit simulator
Description:

Ngspice is a mixed-level/mixed-signal circuit simulator. It includes Spice3f5, a circuit simulator, and Xspice, an extension that provides code modeling support and simulation of digital components through an embedded event driven algorithm.

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.

xyce-parallel 7.10.0
Dependencies: openmpi@4.1.6 adms@2.3.7 fftw@3.3.10 lapack@3.12.1 openblas@0.3.30 suitesparse-amd@3.3.3 trilinos-parallel-xyce@14.4.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://xyce.sandia.gov/
Licenses: GPL 3+
Synopsis: High-performance analog circuit simulator
Description:

Xyce is a SPICE-compatible, high-performance analog circuit simulator, capable of solving extremely large circuit problems by supporting large-scale parallel computing platforms. It also supports serial execution.

python-edalize 0.6.3
Propagated dependencies: python-jinja2@3.1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/olofk/edalize/
Licenses: FreeBSD
Synopsis: Python Library for interacting with EDA tools
Description:

This package implements a functionality to create project files for supported tools and run them in batch or GUI mode. All EDA tools such as Icarus, Yosys, ModelSim, Vivado, Verilator, GHDL, Quartus etc get input HDL files (Verilog and VHDL) and some tool-specific files (constraint files,memory initialization files, IP description files etc). Together with the files, perhaps a couple of Verilog `defines, some top-level parameters/generics or some tool-specific options are set.

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.

prjpeppercorn 1.8
Dependencies: boost@1.83.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/prjpeppercorn/
Licenses: ISC
Synopsis: GateMate FPGAs bitstream tools
Description:

Prjpeppercorn includes programming tools for GateMate architecture from Cologne Chip. It also provides data needed to produce a nextpnr chip database Cologne Chip's GateMate architecture.

qucsator-rf 1.0.7
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://ra3xdh.github.io//
Licenses: GPL 2+
Synopsis: RF and microwave circuits simulator
Description:

Qucsator-rf is a command line driven circuit simulator targeted for RF and microwave circuits. It takes a network list in a certain format as input and outputs an XML dataset.

openboardview 9.95.0
Dependencies: fontconfig-minimal@2.14.0 gtk+@3.24.51 imgui@1.87 orangeduck-mpc@0.9.0-0.7c910e9 sdl2@2.30.8 sqlite@3.39.3 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/OpenBoardView/OpenBoardView
Licenses: Expat
Synopsis: Viewer for BoardView files
Description:

OpenBoardView is a viewer for BoardView files, which present the details of a printed circuit board (PCB). It comes with features such as:

  • Dynamic part outline rendering, including complex connectors

  • Annotations, for leaving notes about parts, nets, pins or location

  • Configurable colour themes

  • Configurable DPI to facilitate usage on 4K monitors

  • Configurable for running on slower systems

  • Reads FZ (with key), BRD, BRD2, BDV and BV* formats.

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.

python-amaranth 0.5.8
Propagated dependencies: python-jinja2@3.1.2 python-jschon@0.11.1 python-pyvcd@0.4.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://amaranth-lang.org/docs/amaranth/latest/
Licenses: Modified BSD
Synopsis: Amaranth hardware definition language
Description:

The Amaranth project provides an open-source toolchain for developing hardware based on synchronous digital logic using the Python programming language, as well as evaluation board definitions and a System on Chip toolkit.

camv-rnd 1.1.6
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: Viewer for electronic boards in CAM file formats
Description:

Camv-rnd is a viewer for PCB supporting gerber, excellon and g-code. It is part of the RiNgDove EDA suite.

mcy 0.60
Dependencies: boost@1.89.0 python@3.11.14 python-click@8.1.8 python-flask@3.1.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://yosyshq.readthedocs.io/projects/mcy/en/latest/
Licenses: ISC
Synopsis: Mutation Cover with Yosys
Description:

Mcy is a tool to help digital designers and project managers understand and improve testbench coverage.

xschem 3.4.7
Dependencies: gawk@5.3.0 tcl@8.6.12 tk@8.6.12 libxpm@3.5.17 cairo@1.18.4 libxrender@0.9.12 libxcb@1.17.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://xschem.sourceforge.io/stefan/index.html
Licenses: GPL 2+
Synopsis: Hierarchical schematic editor
Description:

Xschem is an X11 schematic editor written in C and focused on hierarchical and parametric design. It can generate VHDL, Verilog or Spice netlists from the drawn schematic, allowing the simulation of the circuit.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31092