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

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.


sigrok-firmware-fx2lafw 0.1.7-1.96b0b47
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.sigrok.org/wiki/Fx2lafw
Licenses: GPL 2+
Build system: gnu
Synopsis: Firmware for Cypress FX2 chips
Description:

Fx2lafw is free firmware for Cypress FX2 chips which makes them usable as simple logic analyzer and/or oscilloscope hardware.

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.

pcb-rnd 3.1.8
Dependencies: librnd@4.5.0
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.

ngspice 45.2
Dependencies: libngspice@45.2 readline@8.2.13 libxaw@1.0.16 libx11@1.8.12
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
Build system: gnu
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.

opencircuitx 1.1.0
Dependencies: curl@8.20.0 wxwidgets@3.2.11
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/openlab-x/OpenCircuitX
Licenses: Expat
Build system: cmake
Synopsis: IDE for FPGA development
Description:

OpenCircuitX is a EDA platform for HDL used to design digital logic. It unifies an IDE HDL editor, a visual circuit canvas, an RTL schematic viewer, a waveform viewer, and a full FPGA toolchain in one window, for hardware engineers, students, and FPGA hobbyists alike.

netgen 1.5.323
Dependencies: libx11@1.8.12 libxt@1.3.1 readline@8.2.13 tcl@8.6.12 tk@8.6.12
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://opencircuitdesign.com/netgen/
Licenses: GPL 1
Build system: gnu
Synopsis: Netlist system for @acronym{EDA, electronic design automation}
Description:

netgen is a general purpose LVS management tool. It compares netlists of SPICE or verilog netlists circuits. This is commonly used as a part of toolchains in a process called LVS with the intent to verify that the layout of a circuit corresponds to the desired netlists.

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.

kicad-footprints 10.0.6
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 footprint libraries
Description:

This package contains the official KiCad footprint libraries.

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.

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.

abc 1.01-2.8e224cd
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: Expat Expat Modified BSD FreeBSD Zlib
Build system: cmake
Synopsis: Sequential logic synthesis and formal verification
Description:

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

iverilog 13_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+
Build system: gnu
Synopsis: Verilog/SystemVerilog HDL compiler
Description:

Icarus Verilog is a Verilog/SystemVerilog EDA compiler that generates code employed by back-end tools. It operates compiling source code written in Verilog (IEEE-1364) and SystemVerilog (IEEE-1800) 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.

gtkwave 4.0.0-0.7d7b4db
Dependencies: gtk@4.22.1 gtk+@3.24.52 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.

qrouter 1.4.90
Dependencies: libx11@1.8.12 libxt@1.3.1 readline@8.2.13 tcl@8.6.12 tk@8.6.12
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://opencircuitdesign.com/qrouter/
Licenses: GPL 2
Build system: gnu
Synopsis: Visual @acronym{EDA, electronic design automation} router
Description:

qrouter is an ASICs tool intended for digital chip design. It creates the detailed routes for layouts of digital circuits and generates metal layers and vias.

qucsrflayout-cli 2.1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/thomaslepoix/Qucs-RFlayout/
Licenses: GPL 3+
Build system: cmake
Synopsis: Produce layouts from Qucs RF schematics
Description:

qucsrflayout command exports RF schematics to KiCad layouts and OpenEMS scripts.

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
Build system: meson
Synopsis: Fast Signal Trace (FST) format waveforms library
Description:

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

route-rnd 0.9.3
Dependencies: librnd@4.5.0
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.

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

sv-lang 11.0
Dependencies: boost@1.89.0 catch2@3.15.1 cpptrace@1.0.4 fmt@12.1.0 mimalloc@3.3.2 pybind11@3.0.4
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://sv-lang.com/
Licenses: Expat
Build system: cmake
Synopsis: SystemVerilog compiler and language services
Description:

Slang is a software library that provides various components for lexing, parsing, type checking, and elaborating SystemVerilog code. It comes with an executable tool that can compile and lint any SystemVerilog project, but it is also intended to be usable as a front end for synthesis tools, simulators, linters, code editors, and refactoring tools.

python-pyxhdl 0.53
Propagated dependencies: python-numpy@2.4.6 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.

python-gdstk 1.0.0
Dependencies: python-numpy@2.4.6 clipper@6.4.2 qhull@2020.2 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://heitzmann.github.io/gdstk/
Licenses: Boost 1.0
Build system: pyproject
Synopsis: Python module for creation and manipulation of GDSII files
Description:

python-gdstk is a Python library for creation and manipulation of GDSII layout files which are commonly used for EDA and chip design.

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.

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.

camv-rnd 1.1.7
Dependencies: librnd@4.5.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://repo.hu/projects/route-rnd/
Licenses: GPL 2+
Build system: glib-or-gtk
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.

Total packages: 32967