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

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 search send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.


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
Build system: pyproject
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.

sigrok-cli 0.7.2
Dependencies: glib@2.86.0 libsigrok@0.5.2-2.f06f788 libsigrokdecode@0.5.3-1.71f4514
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://sigrok.org/wiki/Sigrok-cli
Licenses: GPL 3+
Build system: gnu
Synopsis: Command-line frontend for sigrok
Description:

Sigrok-cli is a command-line frontend for sigrok.

yosys 0.66
Dependencies: abc-yosyshq@0.66 bash-minimal@5.2.37 editline@1.17.1 libffi@3.4.6 psmisc@23.7 pybind11@3.0.2 python@3.12.12 python-click@8.3.1 python-cxxheaderparser@1.7.0 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
Build system: gnu
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.

gtkwave 4.0.0-0.7d7b4db
Dependencies: gtk@4.22.1 gtk+@3.24.51 json-glib@1.10.0 libfst@1.0.0-0.6a52070
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/gtkwave/gtkwave
Licenses: GPL 2+ Expat Tcl/Tk
Build system: meson
Synopsis: Waveform viewer for FPGA simulator trace files
Description:

This package is a waveform viewer for FST files.

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+
Build system: pyproject
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.

fusesoc 2.4.6
Propagated dependencies: python-argcomplete@3.6.2 python-edalize@0.6.8 python-fastjsonschema@2.21.1 python-pyparsing@3.2.3 python-pyyaml@6.0.2 python-pyaml@25.7.0 python-simplesat@0.9.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://fusesoc.net/
Licenses: Modified BSD
Build system: pyproject
Synopsis: Package manager and build abstraction tool for HDL code
Description:

Fusesoc allows management and reuse of IP cores. It also aids for creating, building and simulating Soc solutions in EDA.

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+
Build system: gnu
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.

qcsxcad 0.6.3
Dependencies: boost@1.89.0 cgal@6.1.1 csxcad@0.6.3 eigen@3.4.0 freetype@2.13.3 gmp@6.3.0 libjpeg-turbo@2.1.4 libpng@1.6.39 libtiff@4.4.0 lz4@1.10.0 openmpi@4.1.6 qt5compat@6.9.2 tinyxml@2.6.2 vtk@9.6.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/thliebig/QCSXCAD
Licenses: LGPL 3+
Build system: qt
Synopsis: GUI library for @code{csxcad}
Description:

GUI library for csxcad --- a library for describing geometrical objects and their properties. This library is used in appcsxcad which provides a standalone graphical frontend to {csxcad

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
Build system: copy
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.

libserialport 0.1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://sigrok.org/wiki/Libserialport
Licenses: LGPL 3+
Build system: gnu
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.

python-pyxhdl 0.53
Propagated dependencies: python-numpy@2.3.1 python-misc-utils@0.28
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/davidel/pyxhdl
Licenses: ASL 2.0
Build system: pyproject
Synopsis: Python frontend for @acronym{HDL, Hardware Description Languages}
Description:

PyXHDL replaces HDL code by Python, generating VHDL (>= 2008) and Verilog (SystemVerilog >= 2012) code to be used for synthesis and simulation.

apycula 0.32
Propagated dependencies: python-cattrs@24.1.2 python-crcmod@1.7 python-numpy@2.3.1 python-msgpack@1.1.2 python-msgspec@0.20.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/apicula/
Licenses: Expat
Build system: pyproject
Synopsis: Gowin FPGA bitstream format
Description:

The project Apycula provides tools to support development and generating bitstreams with Gowin FPGAs.

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
Build system: pyproject
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.

pyspice 1.5
Dependencies: libngspice@45.2 python-invoke@2.2.1 python-matplotlib@3.10.8 python-ply@3.11 python-pyyaml@6.0.2 python-requests@2.32.5 python-scipy@1.16.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://pyspice.fabrice-salvaire.fr/
Licenses: GPL 3+
Build system: pyproject
Synopsis: Circuit simulator Python interface
Description:

PySpice implements a Ngspice binding and provides an oriented object API on top of SPICE, the simulation output is converted to Numpy arrays for convenience.

python-pydigitalwavetools 1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Nic30/pyDigitalWaveTools/
Licenses: Expat
Build system: pyproject
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.

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
Build system: gnu
Synopsis: PSF simulation data c++ library
Description:

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

libsigrok 0.5.2-2.f06f788
Dependencies: python@3.12.12 zlib@1.3.1
Propagated dependencies: glib@2.86.0 glibmm@2.66.6 libserialport@0.1.2 libusb@1.0.25 libftdi@1.5 libzip@1.9.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.sigrok.org/wiki/Libsigrok
Licenses: GPL 3+
Build system: gnu
Synopsis: Basic hardware access drivers for logic analyzers
Description:

libsigrok is a shared library written in C which provides the basic hardware access drivers for logic analyzers and other supported devices, as well as input/output file format support.

kicad-symbols 10.0.4
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.kicad.org/
Licenses: CC-BY-SA 4.0
Build system: cmake
Synopsis: Official KiCad schematic symbol libraries
Description:

This package contains the official KiCad schematic symbol libraries.

python-pyucis 0.1.5
Propagated dependencies: python-jsonschema-objects@0.5.7 python-lxml@6.0.2 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
Build system: pyproject
Synopsis: Python interface to UCIS data
Description:

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

python-klayout 0.30.9
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://klayout.de
Licenses: GPL 3+
Build system: pyproject
Synopsis: Mask layout library for Python
Description:

python-klayout is a standalone Python API of KLayout. This library supports OASIS and GDS2 file formats, editing of mask layouts, and verification such as DRC and LVS.

prjtrellis 1.4-2.73bd411
Dependencies: openocd@0.12.0 boost@1.89.0 pybind11@3.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/prjtrellis/
Licenses: Expat
Build system: cmake
Synopsis: Placement and routing for ECP5 FPGAs
Description:

Project Trellis is a Nextpnr backend compatible with ECP5 FPGAs. The following features are currently available:

  • logic slice functionality, including carries

  • distributed RAM inside logic slices

  • all internal interconnect

  • basic IO, including tristate

  • block RAM, using inference or manual instantiation

  • multipliers using manual instantiation

  • global networks and PLLs

  • transcievers (DCUs.)

hal 4.5.0
Dependencies: bitwuzla@0.9.1 boost@1.89.0 gmp@6.3.0 graphviz@7.0.1 igraph@0.10.15 nlohmann-json@3.12.0 mpfr@4.2.2 qtbase@5.15.17 qtsvg@5.15.17 quazip-qt5@1.5 rapidjson@1.1.0-1.949c771 spdlog@1.15.3 symfpu@1.2.0 z3@4.13.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/emsec/hal
Licenses: Expat
Build system: qt
Synopsis: Hardware analyzer for netlists
Description:

HAL is an EDA comprehensive netlist reverse engineering and manipulation framework. It provides a framework to parse netlists of arbitrary sources, e.g., FPGAs or ASICs, into a graph-based netlist representation, providing the necessary built-in tools for traversal and analysis of the included gates and nets.

python-pyuvm 4.0.1
Propagated dependencies: python-cocotb@2.0.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/pyuvm/pyuvm
Licenses: ASL 2.0
Build system: pyproject
Synopsis: @acronym{UVM, Universal Verification Methodology} in Python
Description:

PyUVM is a Python implementation of the UVM, as defined in the IEEE 1800.2 standard. It uses cocotb to interact with simulators and schedule simulation events. It implements the most commonly used sections of the IEEE 1800.2 standard.

sby 0.66
Dependencies: abc-yosyshq@0.66 boolector@3.2.2 python@3.12.12 python-click@8.3.1 python-xmlschema@4.1.0 z3@4.13.0 yices@2.7.0 yosys@0.66
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://yosyshq.readthedocs.io/projects/sby/en/latest/
Licenses: ISC
Build system: gnu
Synopsis: Formal hardware verification with Yosys
Description:

sby is an EDA front-end program for Yosys-based formal hardware verification flows.

Total packages: 73977