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

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.


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.

lctime 0.0.28
Dependencies: ngspice@45.2 pyspice@1.5 python-joblib@1.5.2 python-klayout@0.30.9 python-liberty-parser@0.0.29 python-networkx@3.4.2 python-numpy@2.3.1 python-ply@3.11 python-requests@2.32.5 python-scipy@1.16.3 python-sympy@1.13.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://codeberg.org/librecell/lctime
Licenses: AGPL 3+
Build system: pyproject
Synopsis: CMOS standard-cell characterization tool
Description:

lctime extracts timing and power characteristics of CMOS standard-cells. It simulates the netlists of the cells with ngspice and writes the characterization result in a liberty library file.

abc-yosyshq 0.66
Dependencies: readline@8.2.13
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/abc/
Licenses: non-copyleft
Build system: cmake
Synopsis: Sequential logic synthesis and formal verification
Description:

ABC is a program for sequential logic synthesis and formal verification. This is the Yosyshq fork of ABC.

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.

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.

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.

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.

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

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

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.

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)

fftgen 0-1.3378b77
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/ZipCPU/zipcpu/
Licenses: LGPL 3+
Build system: gnu
Synopsis: Generic pipelined FFT core generator
Description:

fftgen produces FFT hardware designs in Verilog.

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.

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.

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.

prjpeppercorn 1.12
Dependencies: boost@1.89.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/prjpeppercorn/
Licenses: ISC
Build system: cmake
Synopsis: GateMate FPGAs bitstream tools
Description:

Prjpeppercorn includes programming tools for GateMate architecture from Cologne Chip. It also provides data needed to produce a nextpnr chip database Cologne Chip's GateMate architecture.

nextpnr-cli 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: cmake
Synopsis: Place-and-Route tool for @acronym{FPGA, Field Programmable Gate Array} Cli only version.
Description:

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

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

librelane 3.0.3
Dependencies: ciel@2.5.0 magic@8.3.664 netgen@1.5.320 openroad-cli@26Q2 python@3.12.12 python-click@8.3.1 python-cloup@3.0.8 python-deprecated@1.3.1 python-httpx@0.28.1 python-klayout@0.30.9 python-lln-libparse@0.56.0 python-lxml@6.0.2 python-pcpp@1.30 python-psutil@7.2.2 python-pyyaml@6.0.2 python-rapidfuzz@3.14.3 python-rich@14.3.3 python-semver@3.0.4 python-yamlcore@0.0.4 ruby@3.3.9 verilator@5.048 yosys@0.66
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://librelane.readthedocs.io/
Licenses: ASL 2.0
Build system: pyproject
Synopsis: ASIC implementation flow infrastructure
Description:

LibreLane is an EDA ASIC infrastructure library based on several components including OpenROAD, Yosys, Magic, Netgen, CVC, KLayout and a number of custom scripts for design exploration and optimization.

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.

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.

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

klayout 0.30.9
Dependencies: bash-minimal@5.2.37 libgit2@1.9.4 patchelf@0.18.0 qt5compat@6.9.2 qtbase@6.9.2 qtmultimedia@6.9.2 qtsvg@6.9.2 qttools@6.9.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.klayout.de
Licenses: GPL 3+
Build system: copy
Synopsis: Mask layout editor
Description:

KLayout is EDA software. It is a scriptable VLSI layout editor used for visualizing and editing mask data, transcoding between different file formats (GDSII and OASIS), executing DRC, LVS verification, and drawing of chip cross-sections basked on mask data.

Total packages: 73977