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

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.


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

python-pyuvm 4.0.1
Propagated dependencies: python-cocotb@2.0.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/pyuvm/pyuvm
Licenses: ASL 2.0
Build system: pyproject
Synopsis: @acronym{UVM, Universal Verification Methodology} in Python
Description:

PyUVM is a Python implementation of the UVM, as defined in the IEEE 1800.2 standard. It uses cocotb to interact with simulators and schedule simulation events. It implements the most commonly used sections of the IEEE 1800.2 standard.

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.

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.

systemc 3.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://systemc.org/
Licenses: ASL 2.0
Build system: cmake
Synopsis: Library for event-driven simulation
Description:

SystemC is a C++ library for modeling concurrent systems, and the reference implementation of IEEE 1666-2011. It provides a notion of timing as well as an event-driven simulations environment. Due to its concurrent and sequential nature, SystemC allows the description and integration of complex hardware and software components. To some extent, SystemC can be seen as a Hardware Description Language. However, unlike VHDL or Verilog, SystemC provides sophisticated mechanisms that offer high abstraction levels on components interfaces. This, in turn, facilitates the integration of systems using different abstraction levels.

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.

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.

qcsxcad 0.6.3
Dependencies: boost@1.89.0 cgal@6.1.1 csxcad@0.6.3 eigen@3.4.0 freetype@2.13.3 gmp@6.3.0 libjpeg-turbo@2.1.4 libpng@1.6.39 libtiff@4.4.0 lz4@1.10.0 openmpi@4.1.6 qt5compat@6.9.2 tinyxml@2.6.2 vtk@9.6.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/thliebig/QCSXCAD
Licenses: LGPL 3+
Build system: qt
Synopsis: GUI library for @code{csxcad}
Description:

GUI library for csxcad --- a library for describing geometrical objects and their properties. This library is used in appcsxcad which provides a standalone graphical frontend to {csxcad

comedilib 0.13.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.comedi.org/
Licenses: LGPL 2.1
Build system: gnu
Synopsis: Library for Comedi
Description:

Comedilib is a user-space library that provides a developer-friendly interface to Comedi devices. Comedi is a collection of drivers for a variety of common data acquisition plug-in boards. The drivers are implemented as a core Linux kernel module providing common functionality and individual low-level driver modules.

abc 1.01-0.21b2d89
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.

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.

libserialport 0.1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://sigrok.org/wiki/Libserialport
Licenses: LGPL 3+
Build system: gnu
Synopsis: Library for using serial ports
Description:

Libserialport is a minimal shared library written in C that is intended to take care of the OS-specific details when writing software that uses serial ports.

python-pyvcd 0.4.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://pyvcd.readthedocs.io/
Licenses: Expat
Build system: pyproject
Synopsis: Library to manipulate digital wave files
Description:

The codePyVcd Python library writes VCD files as specified in IEEE 1364-2005.

xschem 3.4.7
Dependencies: gawk@5.3.0 tcl@8.6.12 tk@8.6.12 libxpm@3.5.17 cairo@1.18.4 libjpeg-turbo@2.1.4 libxrender@0.9.12 libxcb@1.17.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: http://repo.hu/projects/xschem/xschem_man/xschem_man.html/
Licenses: GPL 2+
Build system: gnu
Synopsis: Hierarchical schematic editor
Description:

Xschem is an X11 schematic editor written in C and focused on hierarchical and parametric design. It can generate VHDL, Verilog or Spice netlists from the drawn schematic, allowing the simulation of the circuit.

openboardview 9.95.2
Dependencies: fontconfig-minimal@2.16.0 gtk+@3.24.51 imgui@1.92.2b orangeduck-mpc@0.9.0-1.1049534 sdl2@2.30.8 sqlite@3.39.3 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/OpenBoardView/OpenBoardView
Licenses: Expat
Build system: cmake
Synopsis: Viewer for BoardView files
Description:

OpenBoardView is a viewer for BoardView files, which present the details of a printed circuit board (PCB). It comes with features such as:

  • Dynamic part outline rendering, including complex connectors

  • Annotations, for leaving notes about parts, nets, pins or location

  • Configurable colour themes

  • Configurable DPI to facilitate usage on 4K monitors

  • Configurable for running on slower systems

  • Reads FZ (with key), BRD, BRD2, BDV and BV* formats.

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-vsg 3.35.0
Propagated dependencies: python-pyyaml@6.0.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/jeremiah-c-leary/vhdl-style-guide/
Licenses: GPL 3+
Build system: pyproject
Synopsis: Coding style enforcement for VHDL
Description:

VSG lets you define a VHDL coding style and provides a command-line tool to enforce it.

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.

apycula 0.32
Propagated dependencies: python-cattrs@24.1.2 python-crcmod@1.7 python-numpy@2.3.1 python-msgpack@1.1.2 python-msgspec@0.20.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/apicula/
Licenses: Expat
Build system: pyproject
Synopsis: Gowin FPGA bitstream format
Description:

The project Apycula provides tools to support development and generating bitstreams with Gowin FPGAs.

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.

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.

uhdm 1.86
Dependencies: capnproto@1.4.0 python-orderedmultidict@1.0.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/chipsalliance/UHDM/
Licenses: ASL 2.0
Build system: cmake
Synopsis: Universal Hardware Data Model
Description:

UHDM is a complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener.

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.

gnucap 20260329
Dependencies: readline@8.2.13
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.gnu.org/software/gnucap/
Licenses: GPL 3+
Build system: gnu
Synopsis: Mixed analog and digital circuit simulator
Description:

GNUcap is a circuit analysis package used for EDA. It offers a general purpose circuit simulator and can perform DC and transient analyses, fourier analysis and AC analysis. The engine is designed to do true mixed-mode simulation.

Total packages: 32521