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

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.


prjtrellis 1.4-2.73bd411
Dependencies: openocd@0.12.0 boost@1.89.0 pybind11@3.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/prjtrellis/
Licenses: Expat
Build system: cmake
Synopsis: Placement and routing for ECP5 FPGAs
Description:

Project Trellis is a Nextpnr backend compatible with ECP5 FPGAs. The following features are currently available:

  • logic slice functionality, including carries

  • distributed RAM inside logic slices

  • all internal interconnect

  • basic IO, including tristate

  • block RAM, using inference or manual instantiation

  • multipliers using manual instantiation

  • global networks and PLLs

  • transcievers (DCUs.)

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.

pyspice 1.5
Dependencies: libngspice@45.2 python-invoke@2.2.1 python-matplotlib@3.10.8 python-ply@3.11 python-pyyaml@6.0.2 python-requests@2.32.5 python-scipy@1.16.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://pyspice.fabrice-salvaire.fr/
Licenses: GPL 3+
Build system: pyproject
Synopsis: Circuit simulator Python interface
Description:

PySpice implements a Ngspice binding and provides an oriented object API on top of SPICE, the simulation output is converted to Numpy arrays for convenience.

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.

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.

kicad-packages3d 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 3D model libraries
Description:

This package contains the official KiCad 3D model libraries.

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

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-pyrtl 1.0.0
Propagated dependencies: python-graphviz@0.21 python-pyparsing@3.2.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://UCSBarchlab.github.io/PyRTL
Licenses: Modified BSD
Build system: pyproject
Synopsis: @acronym{RTL, Register Transfert Level} hardware design and simulation
Description:

PyRTL provides a collection of classes for Pythonic RTL-level design, simulation, tracing, and testing, suitable for teaching and research.

sby 0.66
Dependencies: abc-yosyshq@0.66 boolector@3.2.2 python@3.12.12 python-click@8.3.1 python-xmlschema@4.1.0 z3@4.13.0 yices@2.7.0 yosys@0.66
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://yosyshq.readthedocs.io/projects/sby/en/latest/
Licenses: ISC
Build system: gnu
Synopsis: Formal hardware verification with Yosys
Description:

sby is an EDA front-end program for Yosys-based formal hardware verification flows.

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.

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.

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.

nvc 1.21.1
Dependencies: jansson@2.14 libffi@3.4.6 llvm@22.1.8 readline@8.2.13 tcl@8.6.12 zstd@1.5.6
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.nickg.me.uk/nvc/
Licenses: GPL 3+
Build system: gnu
Synopsis: VHDL compiler and simulator
Description:

This package provides a VHDL compiler and simulator.

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.

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.

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.

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.

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.

python-vunit 5.0.0-dev.10
Dependencies: osvvm@2023.04
Propagated dependencies: python-colorama@0.4.6
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://vunit.github.io
Licenses: MPL 2.0 ASL 2.0
Build system: pyproject
Synopsis: Unit testing framework for VHDL/SystemVerilog
Description:

VUnit features the functionality needed to realize continuous and automated testing of HDL code.

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.

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

libdwarf 0.11.0
Dependencies: elfutils@0.192
Channel: guix
Location: gnu/packages/elf.scm (gnu packages elf)
Home page: https://www.prevanders.net/dwarf.html
Licenses: LGPL 2.1 GPL 2 FreeBSD
Build system: gnu
Synopsis: Handle DWARF debugging information
Description:

libdwarf is a library that handles the DWARF debugging information format.

Total packages: 73977