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

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.


sbsigntools 0.9.5
Dependencies: gnu-efi@3.0.18 util-linux@2.40.4 openssl@3.0.8
Channel: guix
Location: gnu/packages/efi.scm (gnu packages efi)
Home page: https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/
Licenses: GPL 3+
Build system: gnu
Synopsis: EFI signing tools
Description:

This package provides tools for signing EFI binaries.

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.

qucs-s 25.2.0
Dependencies: bash-minimal@5.2.37 ngspice@45.2 octave-cli@10.3.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)

yosys 0.60
Dependencies: abc-yosyshq@0.60 bash-minimal@5.2.37 clang@13.0.1 editline@1.17.1 libffi@3.4.6 psmisc@23.7 python@3.11.14 python-click@8.1.8 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.

nextpnr 0.9-0.ad76625
Dependencies: apycula@0.28 boost@1.83.0 corrosion@0.5.1 eigen@3.4.0 pybind11@2.13.6 python@3.11.14 qtbase@5.15.17 qtwayland@5.15.17 qtimgui@0.0-0.48d64a7
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/nextpnr/
Licenses: ISC
Build system: qt
Synopsis: Place-and-Route tool for FPGAs
Description:

Nextpnr is a portable FPGA place and route tool.

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.

apycula 0.28
Dependencies: python-crc@7.1.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.

python-edalize 0.6.3
Propagated dependencies: python-jinja2@3.1.2
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 implements a functionality to 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.

python-hdlmake 4.0
Propagated dependencies: python-networkx@3.4.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://ohwr.gitlab.io/project/hdl-make/
Licenses: GPL 3+
Build system: pyproject
Synopsis: Generate multi-purpose makefiles for HDL projects
Description:

Hdlmake helps manage and share HDL code by automatically finding file dependencies, writing synthesis and simulation Makefiles.

python-cocotbext-axi 0.1.26
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.

gtkwave 3.4.0-0.bb978d9
Dependencies: gtk@4.16.13 gtk+@3.24.51 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.

python-pydigitalwavetools 1.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Nic30/pyDigitalWaveTools/
Licenses: Expat
Build system: pyproject
Synopsis: Library to manipulate digital wave files
Description:

Pydigitalwavetools is a Python library to parse, write and format digital wave files in VCD format, a standardized ASCII format used to store simulation data from Verilog and other hardware description languages.

open-logic 4.2.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/open-logic/open-logic/
Licenses: LGPL 2.1 Expat
Build system: copy
Synopsis: Open library of VHDL standard components
Description:

Open Logic implements commonly used design units in a reusable and vendor/tool-independent way. It is written following the VHDL 2008 standard, but can also be used from System Verilog.

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.

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

sby-gui 0-0.6c97708
Propagated dependencies: sby@0.60
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.

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.

aacircuit 0-0.18635c8
Dependencies: bash-minimal@5.2.37 gtk+@3.24.51 python-bresenham@0.2.1 python-platformdirs@4.3.6 python-pycairo@1.28.0 python-pyclip@0.7.0 python-pygobject@3.50.0 python-pypubsub@4.0.3
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Blokkendoos/AACircuit
Licenses: GPL 3+
Build system: pyproject
Synopsis: Draw electronic circuits with ASCII characters
Description:

This is a pythonized, kind of reverse engineered version of original AACircuit written by Andreas Weber in Borland Delphi. The idea and GUI layout are also taken from the original.

python-surf 2.57.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://slaclab.github.io/surf/
Licenses: non-copyleft
Build system: pyproject
Synopsis: SLAC Ultimate RTL Framework
Description:

Surf is a python library with support functions for VHDL gateware digital design. It provides implementation modules compatible with FPGA and ASIC design.

python-pyucis 0.1.5
Propagated dependencies: python-jsonschema-objects@0.5.7 python-lxml@6.0.1 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.

opensta 2.7.0-1.6e29fcb
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.

nextpnr-ice40 0.9-0.ad76625
Dependencies: apycula@0.28 boost@1.83.0 corrosion@0.5.1 eigen@3.4.0 pybind11@2.13.6 python@3.11.14 qtbase@5.15.17 qtwayland@5.15.17 qtimgui@0.0-0.48d64a7
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/YosysHQ/nextpnr/
Licenses: ISC
Build system: qt
Synopsis: Place-and-Route tool for FPGAs
Description:

Nextpnr is a portable FPGA place and route tool.

klayout 0.30.5
Dependencies: bash-minimal@5.2.37 libgit2@1.5.2 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.

python-vunit 5.0.0-dev.6
Dependencies: json-for-vhdl-for-vunit@20220106-0.95e848b 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.

Total packages: 69244