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

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

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.

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.

uhdm 1.86
Dependencies: capnproto@1.4.0 python-orderedmultidict@1.0.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/chipsalliance/UHDM/
Licenses: ASL 2.0
Build system: cmake
Synopsis: Universal Hardware Data Model
Description:

UHDM is a complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener.

horizon-eda 2.7.2
Dependencies: boost@1.89.0 cairomm@1.18.0 cppzmq@4.10.0 curl@8.6.0 glib@2.86.0 glibmm@2.86.0 glm@1.0.1 gsettings-desktop-schemas@48.0 gtk+@3.24.51 gtkmm@3.24.9 libarchive@3.7.7 libgit2-glib@1.2.1 librsvg@2.58.5 libspnav@1.2 libzip@1.9.2 opencascade-occt@7.9.3 podofo@0.10.4 sqlite@3.39.3 util-linux@2.40.4 zeromq@4.3.5
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://horizon-eda.org/
Licenses: GPL 3+
Build system: meson
Synopsis: @acronym{PCB, Printed Circuit Board} design tool
Description:

Horizon is an EDA package supporting an integrated end-to-end workflow for PCB design, including from parts management and schematic entry to gerber export.

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.

systemc 3.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://systemc.org/
Licenses: ASL 2.0
Build system: cmake
Synopsis: Library for event-driven simulation
Description:

SystemC is a C++ library for modeling concurrent systems, and the reference implementation of IEEE 1666-2011. It provides a notion of timing as well as an event-driven simulations environment. Due to its concurrent and sequential nature, SystemC allows the description and integration of complex hardware and software components. To some extent, SystemC can be seen as a Hardware Description Language. However, unlike VHDL or Verilog, SystemC provides sophisticated mechanisms that offer high abstraction levels on components interfaces. This, in turn, facilitates the integration of systems using different abstraction levels.

verilator 5.048
Dependencies: perl@5.36.0 python@3.12.12 systemc@3.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.veripool.org/verilator/
Licenses: LGPL 3
Build system: gnu
Synopsis: Verilog/SystemVerilog HDL simulator and lint system
Description:

Verilator is an EDA tool intended to transform the specified Verilog or SystemVerilog HDL 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.

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

xyce-serial 7.10.0
Dependencies: adms@2.3.7 fftw@3.3.10 lapack@3.12.1 openblas@0.3.31 suitesparse-amd@3.3.3 trilinos-serial-xyce@14.4.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://xyce.sandia.gov/
Licenses: GPL 3+
Build system: cmake
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.

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

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

python-hdlconvertorast 1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Nic30/hdlConvertorAst
Licenses: Expat
Build system: pyproject
Synopsis: @acronym{AST, Abstract Syntax Tree} library for VHDL and SystemVerilog
Description:

This package provides a library of AST nodes for VHDL, SystemVerilog, and SystemC, with conversion between languages and to JSON.

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

gerbv 2.13.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+
Build system: cmake
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.

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.

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.

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.

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

yosys-slang 0.0.0-0.3251530
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/povik/yosys-slang
Licenses: Expat FreeBSD Modified BSD Python Software Foundation License ISC
Build system: cmake
Synopsis: SystemVerilog plugin for code@{Yosys}
Description:

code{Yosys-slang

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.

charlib 2.0.0
Dependencies: ngspice@45.2 pyspice@1.5 python-liberty-parser@0.0.29 python-matplotlib@3.10.8 python-numpy@2.3.1 python-ply@3.11 python-pyyaml@6.0.2 python-requests@2.32.5 python-schema@0.7.8 python-scipy@1.16.3 python-tqdm@4.67.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://stineje.github.io/CharLib
Licenses: GPL 2
Build system: pyproject
Synopsis: CMOS standard-cell characterization
Description:

Charlib is an EDA tool used to extract timing and power characteristics from CMOS combinational and sequential standard-cells. It is compatible with ngspice and Xyce.

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.

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+
Build system: glib-or-gtk
Synopsis: Modular layout editor
Description:

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

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.

Total packages: 72465