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

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.


qucs-s 26.1.1
Dependencies: bash-minimal@5.2.37 ngspice@45.2 octave-cli@11.1.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+
Build system: qt
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)

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.

nextpnr 0.10
Dependencies: boost@1.89.0 eigen@3.4.0 pybind11@3.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/nextpnr/
Licenses: ISC
Build system: qt
Synopsis: Place-and-Route tool for @acronym{FPGA, Field Programmable Gate Array}
Description:

nextpnr is an EDA, portable and vendor neutral FPGA place and route tool.

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.

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.

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.

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

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.

sby-gui 0-1.0a89301
Propagated dependencies: sby@0.66
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/sby-gui/
Licenses: ISC
Build system: qt
Synopsis: Graphical user interface for code{sby}
Description:

sby-gui is a GUI for front-end driver program for codeyosys-based formal hardware verification flows.

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.

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

python-myhdl 0.11-0.7dc29c2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://www.myhdl.org/
Licenses: LGPL 2.1+
Build system: pyproject
Synopsis: Python as a Hardware Description Language
Description:

This package provides a library to turn Python into a hardware description and verification language.

python-cocotb 2.0.1
Propagated dependencies: python-find-libpython@0.4.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/cocotb/cocotb
Licenses: Modified BSD
Build system: pyproject
Synopsis: Library for writing HDL test benches in Python
Description:

Coroutine based cosimulation test bench environment for verifying VHDL and Verilog RTL using Python.

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.

gdstk 1.0.0
Dependencies: 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: cmake
Synopsis: Library for creation and manipulation of GDSII files
Description:

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

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.

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.

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.

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.

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.

python-cocotb-test 0.2.6
Propagated dependencies: python-cocotb@2.0.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/themperek/cocotb-test
Licenses: Modified BSD
Build system: pyproject
Synopsis: Standard python unit testing cababilities for @code{python-cocotb}
Description:

This package provides the look and feel of Python unit testing to cocotb, removing the need of manipulating Makefiles.

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.

Total packages: 72166