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

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.


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.

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.

ciel 2.5.0
Dependencies: bash-minimal@5.2.37 git-minimal@2.50.0 python-click@8.3.1 python-httpx@0.28.1 python-pcpp@1.30 python-rich@14.3.3 python-zstandard@0.23.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/fossi-foundation/ciel
Licenses: ASL 2.0
Build system: pyproject
Synopsis: Version manager for open-source @acronym{PDKs, Process Design Kits}
Description:

ciel downloads and installs open-source PDKs which are used for chip design and EDA.

appcsxcad 0.2.3
Dependencies: boost@1.89.0 cgal@6.1.1 csxcad@0.6.3 eigen@3.4.0 expat@2.7.1 freetype@2.13.3 gmp@6.3.0 hdf5@1.14.6 libjpeg-turbo@2.1.4 libpng@1.6.39 libtiff@4.4.0 lz4@1.10.0 openmpi@4.1.6 qcsxcad@0.6.3 tinyxml@2.6.2 vtk@9.6.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/thliebig/AppCSXCAD
Licenses: GPL 3
Build system: qt
Synopsis: Minimal GUI application for the @code{qcsxcad} library
Description:

A minimal application for the qcsxcad library which is used to describe geometrical objects and their physical and non-physical properties.

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.

python-cocotbext-axi 0.1.28
Propagated dependencies: python-cocotb@2.0.1 python-cocotb-bus@0.3.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/alexforencich/cocotbext-axi/
Licenses: Expat
Build system: pyproject
Synopsis: Extra @acronym{AXI, Advanced Extensible Interface} modules for cocotb
Description:

This package provides an extension to cocotb in the form of AXI, AXI lite, and AXI stream modules.

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)

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.

qucsator-rf 1.0.7
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://ra3xdh.github.io//
Licenses: GPL 2+
Build system: cmake
Synopsis: RF and microwave circuits simulator
Description:

Qucsator-rf is a command line driven circuit simulator targeted for RF and microwave circuits. It takes a network list in a certain format as input and outputs an XML dataset.

kicad-cern-libraries 0-0.980670f
Propagated dependencies: sqliteodbc@0.99991
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://gitlab.com/ohwr/cern-kicad-libs
Licenses: Cern OHL version 2 - Permissive variant
Build system: copy
Synopsis: CERN component libraries for KiCad
Description:

This package provides CERN's KiCad component libraries, including schematic symbols, footprints, a SQLite-backed database library, and KiCad library tables. The libraries are generated from CERN's Altium Designer libraries.

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.

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

m8c 2.2.3
Dependencies: libdecor@0.2.2 libusb@1.0.25 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 - usb 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.

xyce-parallel 7.10.0
Dependencies: openmpi@4.1.6 adms@2.3.7 fftw@3.3.10 lapack@3.12.1 openblas@0.3.31 suitesparse-amd@3.3.3 trilinos-parallel-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.

surelog 1.86
Dependencies: capnproto@1.4.0 openjdk@25.0.2 python-orderedmultidict@1.0.1 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/chipsalliance/Surelog/
Licenses: ASL 2.0
Build system: cmake
Synopsis: Pre-procesor and parser for SystemVerilog 2017
Description:

Surelog is a pre-processor, parser, elaborator and UHDM compiler. It provides IEEE design, a C/C++ VPI and a Python AST API.

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.

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.

opensta 3.0.0-0.62cd210
Dependencies: cudd@3.0.0 eigen@3.4.0 tcl@8.6.12 tcllib@1.19 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/parallaxsw/OpenSTA/
Licenses: GPL 3+
Build system: cmake
Synopsis: Parallax Static Timing Analyzer
Description:

OpenSTA is a gate level static timing verifier. As a stand-alone executable it can be used to verify the timing of a design using standard file formats.

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.

surfer 0.7.0
Dependencies: bash-minimal@5.2.37 libx11@1.8.12 libxcursor@1.2.3 libxi@1.8.2 libxkbcommon@1.13.1 mesa@26.0.2 python@3.12.12 wayland@1.24.0 rust-ring@0.17.14
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://surfer-project.org
Licenses: EUPL 1.2
Build system: cargo
Synopsis: Waveform viewer
Description:

Surfer is a waveform viewer used in EDA with a focus on usability and extensibility.

csxcad 0.6.3
Dependencies: boost@1.89.0 cgal@6.1.1 eigen@3.4.0 fparser@4.5.1 hdf5@1.14.6 gmp@6.3.0 libjpeg-turbo@2.1.4 libpng@1.6.39 libtiff@4.4.0 lz4@1.10.0 mpfr@4.2.2 openmpi@4.1.6 tinyxml@2.6.2 vtk@9.6.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/thliebig/CSXCAD
Licenses: LGPL 3+
Build system: cmake
Synopsis: 3D geometry library for C++
Description:

csxcad is a C++ library to describe geometrical objects and their physical or non-physical properties for electromagnetics simulations.

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.

mcy 0.66
Dependencies: boost@1.89.0 python@3.12.12 python-click@8.3.1 python-flask@3.1.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://yosyshq.readthedocs.io/projects/mcy/en/latest/
Licenses: ISC
Build system: qt
Synopsis: Mutation Cover with Yosys
Description:

Mcy is an EDA tool to help digital designers and project managers understand and improve testbench coverage.

Total packages: 32521