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

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.


symbiyosys 0.60
Dependencies: abc-yosyshq@0.60 boolector@3.2.2 python@3.11.14 python-click@8.1.8 python-xmlschema@4.1.0 z3@4.13.0 yices@2.7.0 yosys@0.60
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 a front-end program for Yosys-based formal hardware verification flows.

mcy 0.60
Dependencies: boost@1.89.0 python@3.11.14 python-click@8.1.8 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 a tool to help digital designers and project managers understand and improve testbench coverage.

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

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.

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

pulseview 0.4.2
Dependencies: boost@1.83.0 glib@2.83.3 glibmm@2.82.0 libsigrok@0.5.2-2.f06f788 libsigrokdecode@0.5.3-1.71f4514 qtbase@5.15.17 qtsvg@5.15.17
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.sigrok.org/wiki/PulseView
Licenses: GPL 3+
Build system: cmake
Synopsis: Qt based logic analyzer, oscilloscope and MSO GUI for sigrok
Description:

PulseView is a Qt based logic analyzer, oscilloscope and MSO GUI for sigrok.

nvc 1.18.2
Dependencies: jansson@2.14 libffi@3.4.6 llvm@13.0.1 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.

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.

qucsator-rf 1.0.7
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://ra3xdh.github.io//
Licenses: GPL 2+
Build system: cmake
Synopsis: RF and microwave circuits simulator
Description:

Qucsator-rf is a command line driven circuit simulator targeted for RF and microwave circuits. It takes a network list in a certain format as input and outputs an XML dataset.

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

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.

openboardview 9.95.0
Dependencies: fontconfig-minimal@2.14.0 gtk+@3.24.51 imgui@1.87 orangeduck-mpc@0.9.0-0.7c910e9 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.

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.

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.

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)

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

pax-utils 1.3.9
Dependencies: bash-minimal@5.2.37 coreutils-minimal@9.1 gawk@5.3.0 sed@4.9
Channel: guix
Location: gnu/packages/elf.scm (gnu packages elf)
Home page: https://wiki.gentoo.org/wiki/Hardened/PaX_Utilities
Licenses: GPL 2+
Build system: meson
Synopsis: ELF integrity and security-focused utils
Description:

The pax-utils package contains a small set of utilities for performing mostly security checks on systems. It is focused on the ELF format. The included utilities are:

pspax List ELF/PaX information about running processes
scanelf Scan ELF binaries
dumpelf Dump internal ELF structure
scanmacho Scan Mach-O binaries
symtree Display libraries that satisfy undefined symbols, as a tree
lddtree Display ELF dependencies as a tree.
elfutils 0.192
Dependencies: xz@5.4.5 zlib@1.3.1
Channel: guix
Location: gnu/packages/elf.scm (gnu packages elf)
Home page: https://sourceware.org/elfutils/
Licenses: LGPL 3+
Build system: gnu
Synopsis: Collection of utilities and libraries to handle ELF files and DWARF data
Description:

Elfutils is a collection of utilities and libraries to read, create and modify Executable and Linkable Format (ELF) binary files, find and handle Debugging With Arbitrary Record Formats (DWARF) debug data, symbols, thread state and stacktraces for processes and core files on GNU/Linux. Elfutils includes libelf for manipulating ELF files, libdw for inspecting DWARF data and process state and utilities like eu-stack (to show backtraces), eu-nm (for listing symbols from object files), eu-size (for listing the section sizes of an object or archive file), eu-strip (for discarding symbols), eu-readelf (to see the raw ELF file structures), eu-elflint (to check for well-formed ELF files), eu-elfcompress (to compress or decompress ELF sections), and more.

patchelf 0.18.0
Channel: guix
Location: gnu/packages/elf.scm (gnu packages elf)
Home page: https://nixos.org/patchelf.html
Licenses: GPL 3+
Build system: gnu
Synopsis: Modify the dynamic linker and RPATH of ELF executables
Description:

PatchELF allows the ELF "interpreter" and RPATH of an ELF binary to be changed.

patchelf 0.16.1
Channel: guix
Location: gnu/packages/elf.scm (gnu packages elf)
Home page: https://nixos.org/patchelf.html
Licenses: GPL 3+
Build system: gnu
Synopsis: Modify the dynamic linker and RPATH of ELF executables
Description:

PatchELF allows the ELF "interpreter" and RPATH of an ELF binary to be changed.

Total packages: 69242