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

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.


xyce-serial 7.10.0
Dependencies: adms@2.3.7 fftw@3.3.10 lapack@3.12.1 openblas@0.3.31 suitesparse-amd@3.3.3 trilinos-serial-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.

kicad-packages3d 10.0.6
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.

m8c-serial 2.2.3
Dependencies: libdecor@0.2.2 libserialport@0.1.2 sdl3@3.4.14
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 - serial 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.

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-edalize 0.6.8
Propagated dependencies: python-importlib-metadata@8.7.0 python-jinja2@3.1.6 python-pandas@3.0.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.

lctime 0.0.28
Dependencies: ngspice@45.2 pyspice@1.5 python-joblib@1.5.3 python-klayout@0.30.12 python-liberty-parser@0.0.29 python-networkx@3.4.2 python-numpy@2.4.6 python-ply@3.11 python-requests@2.34.2 python-scipy@1.17.1 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.

opensta 3.1.0-1.dc5ccd2
Dependencies: cudd@3.0.0 eigen@3.4.0 tcl@8.6.12 tclreadline@2.4.1 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 an EDA 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.

python-klayout 0.30.12
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://klayout.de
Licenses: GPL 3+
Build system: pyproject
Synopsis: Mask layout library for Python
Description:

python-klayout is a standalone Python API of KLayout. This library supports OASIS and GDS2 file formats, editing of mask layouts, and verification such as DRC and LVS.

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

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.

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.

kicad 10.0.6
Dependencies: bash-minimal@5.2.37 cairo@1.18.4 curl@8.20.0 gdk-pixbuf@2.44.5 glew@2.2.0 glib-networking@2.80.1 glm@1.0.1 gsettings-desktop-schemas@49.1 hicolor-icon-theme@0.18 gtk+@3.24.52 libgit2@1.9.4 libngspice@45.2 libspnav@1.2 libsecret@0.21.7 libsm@1.2.5 mesa@26.0.2 nng@1.5.2 opencascade-occt@7.9.3 openssl@3.5.7 poppler@26.07.0 protobuf@3.21.9 python-wrapper@3.12.12 python-wxpython@4.2.2 shared-mime-info@2.3 wxwidgets-sans-egl@3.2.11 zstd@1.5.6
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://www.kicad.org/
Licenses: GPL 3+
Build system: cmake
Synopsis: Electronics Design Automation Suite
Description:

Kicad is a program for the formation of printed circuit boards and electrical circuits. The software has a number of programs that perform specific functions, for example, pcbnew (Editing PCB), eeschema (editing electrical diagrams), gerbview (viewing Gerber files) and others. To use SQLite-backed database libraries, install the optional sqliteodbc package.

python-pyvcd 0.5.0
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.

sch-rnd 1.0.11
Dependencies: librnd@4.5.0
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-liberty-parser 0.0.29
Propagated dependencies: python-lark@1.2.2 python-numpy@2.4.6 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.

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.

prjtrellis 1.4-2.73bd411
Dependencies: openocd@0.12.0 boost@1.89.0 pybind11@3.0.4
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.)

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.

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-lln-libparse 0.56.0
Dependencies: pybind11@3.0.4
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.

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

bender 0.31.0
Dependencies: rust-deunicode@1.6.2
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/pulp-platform/bender
Licenses: ASL 2.0 Expat
Build system: cargo
Synopsis: dependency management tool for hardware projects.
Description:

This package provides a dependency management tool for hardware projects.

horizon-eda 2.7.2
Dependencies: boost@1.89.0 cairomm@1.18.0 cppzmq@4.10.0 curl@8.20.0 glib@2.86.0 glibmm@2.86.0 glm@1.0.1 gsettings-desktop-schemas@49.1 gtk+@3.24.52 gtkmm@3.24.9 libarchive@3.7.7 libgit2-glib@1.2.1 librsvg@2.61.4 libspnav@1.2 libzip@1.9.2 opencascade-occt@7.9.3 podofo@0.10.4 sqlite@3.39.3 util-linux@2.42.2 zeromq@4.3.5
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://horizon-eda.org/
Licenses: GPL 3+
Build system: meson
Synopsis: @acronym{PCB, Printed Circuit Board} design tool
Description:

Horizon is an EDA package supporting an integrated end-to-end workflow for PCB design, including from parts management and schematic entry to gerber export.

sby 0.69
Dependencies: abc-yosyshq@0.69 python@3.12.12 python-click@8.4.1 python-xmlschema@4.1.0 z3@4.13.0 yices@2.7.0 yosys@0.69
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.

Total packages: 32967