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

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.


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.

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.

lepton-eda 1.9.18-20220529
Dependencies: glib@2.86.0 gtk+@3.24.51 gtksheet@4.3.5 guile@3.0.9 guile-readline@3.0.9 pcb@4.3.0 shared-mime-info@2.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://lepton-eda.github.io/
Licenses: GPL 2+
Build system: gnu
Synopsis: Suite of tools for designing @acronym{PCB, Printed Circuit Boards}
Description:

Lepton is an EDA tool set forked from gEDA/gaf in late 2016. EDA tools are used for electrical circuit design, schematic capture, simulation, prototyping, and production. Lepton EDA includes tools for schematic capture, attribute management, bill of materials (BOM) generation, netlisting into over 20 netlist formats, analog and digital simulation, and PCB layout, and many other features.

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+
Build system: glib-or-gtk
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.

python-hdlconvertor 2.3
Dependencies: cpp-antlr4-runtime@4.10.1
Propagated dependencies: python-hdlconvertorast@1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Nic30/hdlConvertor
Licenses: Expat
Build system: pyproject
Synopsis: VHDL and System Verilog parser
Description:

This package provides a VHDL and SystemVerilog parser library for Python.

m8c-serial 2.2.3
Dependencies: libdecor@0.2.2 libserialport@0.1.2 sdl3@3.4.4
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
Build system: cmake
Synopsis: Cross-platform M8 tracker headless client - serial backend
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.

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.

openroad-cli 26Q2
Dependencies: abseil-cpp@20250814.1 boost@1.89.0 cudd@3.0.0 eigen@3.4.0 glpk@5.0 gmp@6.3.0 lemon-graph@1.3.1.1 libomp@13.0.1 mpfr@4.2.2 or-tools@9.15 protobuf@6.31.1 python@3.12.12 qtcharts@5.15.17 qtimageformats@5.15.17 qtsvg@5.15.17 qtwayland@5.15.18 re2@2024-07-02 scip@10.0.1 spdlog@1.15.3 tcl@8.6.12 yaml-cpp@0.9.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://theopenroadproject.org/
Licenses: Modified BSD
Build system: qt
Synopsis: Collection of tools for semiconductor digital design, cli version.
Description:

OpenROAD is an EDA toolkit for RTL to GDS design flows. It provides all necessary steps from VLSI designs to implement integrated chip physical designs, from RTL design to synthesized Verilog and routed layout. It includes tools for floorplanning, placement, clock tree synthesis, routing, parasitic extraction, and timing analysis.

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

xoscope 2.3-0.0.0.d97b9b1
Dependencies: alsa-lib@1.2.16 comedilib@0.13.0 fftw@3.3.10 gtk+@3.24.51 gtkdatabox@1.0.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://xoscope.sourceforge.net/
Licenses: GPL 2+
Build system: gnu
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.

python-lln-libparse 0.56.0
Dependencies: pybind11@3.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.yosyshq.com/
Licenses: ASL 2.0
Build system: pyproject
Synopsis: Wrapper around Yosys' libparse module
Description:

lln-libparse is a SWIG-based Python wrapper around Yosys' libparse, enabling dotlib file parsing.

kicad-doc 10.0.4
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://kicad.org
Licenses: GPL 3+
Build system: cmake
Synopsis: KiCad official documentation
Description:

This repository contains the official KiCad documentation.

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.

aacircuit 0-0.18635c8
Dependencies: bash-minimal@5.2.37 gtk+@3.24.51 python-bresenham@0.2.1 python-platformdirs@4.3.6 python-pycairo@1.28.0 python-pyclip@0.7.0 python-pygobject@3.50.2 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+
Build system: pyproject
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.

pulseview 0.4.2
Dependencies: boost@1.83.0 glib@2.86.0 glibmm@2.86.0 libsigrok@0.5.2-2.f06f788 libsigrokdecode@0.5.3-1.71f4514 qtbase@5.15.17 qtsvg@5.15.17 qtwayland@5.15.18
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.sigrok.org/wiki/PulseView
Licenses: GPL 3+
Build system: qt
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.

python-cocotb-bus 0.3.0
Propagated dependencies: python-cocotb@2.0.1 python-scapy@2.6.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/cocotb/cocotb-bus/
Licenses: Modified BSD
Build system: pyproject
Synopsis: Cocotb reusable tools
Description:

Cocotb-bus provides a set of utilities, test benches and reusable bus interfaces to be used with cocotb.

eqy 0.66
Dependencies: python-click@8.3.1 python-json5@0.9.25 readline@8.2.13
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Licenses: ISC
Build system: gnu
Synopsis: Equivalence checking using formal verification with Yosys
Description:

Eqy is an EDA front-end driver program for Yosys-based formal hardware equivalence checking. It performs formal verification on two designs, such as ensuring that a synthesis tool has not introduced functional changes into a design, or ensuring that a design refactor preserves correctness in all conditions.

python-csxcad 0.6.3
Dependencies: csxcad@0.6.3 fparser@4.5.1 hdf5@1.14.6 python-numpy@2.3.1 tinyxml@2.6.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/thliebig/CSXCAD
Licenses: LGPL 3+
Build system: pyproject
Synopsis: Python bindings for @code{csxcad}
Description:

Library for describing geometrical objects and their physical and non-physical properties.

python-openems 0.0.36
Dependencies: csxcad@0.6.3 fparser@4.5.1 openems@0.0.36 python-csxcad@0.6.3 python-hdf5storage@0.1.19-0.7ee2a96 python-numpy@2.3.1 tinyxml@2.6.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.openems.de
Licenses: GPL 3+
Build system: pyproject
Synopsis: Python API for the electromagnetic field solver @code{OpenEMS}
Description:

OpenEMS is an electromagnetic field solver using the FDTD method.

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.

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.

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.

kicad 10.0.4
Dependencies: bash-minimal@5.2.37 cairo@1.18.4 curl@8.6.0 gdk-pixbuf@2.44.4 glew@2.2.0 glm@1.0.1 hicolor-icon-theme@0.18 gtk+@3.24.51 libgit2@1.9.4 libngspice@45.2 libspnav@1.2 libsecret@0.21.7 libsm@1.2.5 mesa@26.0.2 nng@1.5.2 opencascade-occt@7.9.3 openssl@3.5.5 poppler@22.09.0 protobuf@3.21.9 python-wrapper@3.12.12 python-wxpython@4.2.2 wxwidgets-sans-egl@3.2.10 zstd@1.5.6
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.kicad.org/
Licenses: GPL 3+
Build system: cmake
Synopsis: Electronics Design Automation Suite
Description:

Kicad is a program for the formation of printed circuit boards and electrical circuits. The software has a number of programs that perform specific functions, for example, pcbnew (Editing PCB), eeschema (editing electrical diagrams), gerbview (viewing Gerber files) and others. To use SQLite-backed database libraries, install the optional sqliteodbc package.

python-liberty-parser 0.0.29
Propagated dependencies: python-lark@1.2.2 python-numpy@2.3.1 python-sympy@1.13.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://codeberg.org/tok/liberty-parser
Licenses: GPL 3+
Build system: pyproject
Synopsis: Parser for Liberty timing libraries
Description:

The liberty-parser Python library provides a parser and data structures for the Liberty format, a standard file format used in EDA for example for timing information of digital circuits.

Total packages: 32521