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

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.


openems 0.0.36
Dependencies: boost@1.89.0 csxcad@0.6.3 fparser@4.5.1 hdf5@1.14.6 openmpi@4.1.6 tinyxml@2.6.2 vtk@9.6.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.openems.de
Licenses: GPL 3+
Build system: cmake
Synopsis: Electromagnetic field solver
Description:

OpenEMS is an electromagnetic field solver using the FDTD method.

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.

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.

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.

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.

python-gdstk 1.0.0
Dependencies: python-numpy@2.3.1 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: pyproject
Synopsis: Python module for creation and manipulation of GDSII files
Description:

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

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-edalize 0.6.8
Propagated dependencies: python-importlib-metadata@8.7.0 python-jinja2@3.1.2 python-pandas@2.3.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/olofk/edalize/
Licenses: FreeBSD
Build system: pyproject
Synopsis: Python Library for interacting with EDA tools
Description:

This package can create project files for supported tools and run them in batch or GUI mode. All EDA tools such as Icarus, Yosys, ModelSim, Vivado, Verilator, GHDL, Quartus etc get input HDL files (Verilog and VHDL) and some tool-specific files (constraint files,memory initialization files, IP description files etc). Together with the files, perhaps a couple of Verilog `defines, some top-level parameters/generics or some tool-specific options are set.

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.

libpsf 0.2-0.001dc73
Dependencies: boost@1.89.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://gitlab.com/libpsf/libpsf-core
Licenses: LGPL 3
Build system: gnu
Synopsis: PSF simulation data c++ library
Description:

libpsf is a c++ library that reads Cadence PSF binary waveform files.

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.

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.

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.

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.

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.

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.

kicad-footprints 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 footprint libraries
Description:

This package contains the official KiCad footprint libraries.

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)

magic 8.3.664
Dependencies: cairo@1.18.4 glu@9.0.2 libx11@1.8.12 mesa@26.0.2 python@3.12.12 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/magic/index.html
Licenses: Zero-Clause BSD
Build system: gnu
Synopsis: @acronym{VLSI, Very-large-scale integration} layout tool
Description:

Magic is an interactive EDA layout tool. It can run DRC and LVS tests and can assist with automatic routing.

librepcb 1.2.0
Dependencies: clipper@6.4.2 fontconfig-minimal@2.16.0 fontobene-qt@1.0.0 glu@9.0.2 hoedown@3.0.7 muparser@2.3.5 opencascade-occt@7.9.3 qt5compat@6.9.2 qtbase@6.9.2 qtdeclarative@6.9.2 qtsvg@6.9.2 qttools@6.9.2 qtwayland@6.9.2 quazip@1.5 zlib@1.3.1
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://librepcb.org/
Licenses: GPL 3+ Boost 1.0 Expat ASL 2.0 CC0 FreeBSD
Build system: qt
Synopsis: @acronym{EDA, Electronic Design Automation} suite for PCB development
Description:

LibrePCB is software to develop PCB. It features human readable file formats and complete project management with library, schematic and board editors.

camv-rnd 1.1.6
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: glib-or-gtk
Synopsis: Viewer for electronic boards in CAM file formats
Description:

Camv-rnd is a viewer for PCB supporting gerber, excellon and g-code. It is part of the RiNgDove EDA suite.

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.

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.

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.

Total packages: 72465