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

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 webring send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.


python-migen 0.9.2-1.6e3a9e1
Propagated dependencies: python-colorama@0.4.6
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://m-labs.hk/gateware/migen/
Licenses: FreeBSD
Build system: pyproject
Synopsis: Python toolbox for building complex digital hardware
Description:

Migen FHDL is a Python library that replaces the event-driven paradigm of Verilog and VHDL with the notions of combinatorial and synchronous statements, has arithmetic rules that make integers always behave like mathematical integers, and allows the design's logic to be constructed by a Python program.

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.

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.

xyce-serial 7.10.0
Dependencies: adms@2.3.7 fftw@3.3.10 lapack@3.12.1 openblas@0.3.30 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.

icestorm 1.1
Dependencies: libftdi@1.5
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://prjicestorm.readthedocs.io/
Licenses: ISC
Build system: gnu
Synopsis: Bitstream tools for Lattice iCE40 FPGAs
Description:

Project IceStorm aims at documenting the bitstream format of Lattice iCE40 FPGAs and providing simple tools for analyzing and creating bitstream files.

xoscope 2.3-0.0.0.d97b9b1
Dependencies: alsa-lib@1.2.11 comedilib@0.13.0 fftw@3.3.10 gtk+@3.24.51 gtkdatabox@1.0.0
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://xoscope.sourceforge.net/
Licenses: GPL 2+
Build system: gnu
Synopsis: Digital oscilloscope
Description:

Xoscope is a digital oscilloscope that can acquire signals from ALSA, ESD, and COMEDI sources. This package currently does not include support for ESD or COMEDI sources.

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.

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.

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.

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

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

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.

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.

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.

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://pypi.org/project/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.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-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.

osvvm 2025.06a
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://osvvm.github.io/Overview/Osvvm1About.html/
Licenses: ASL 2.0
Build system: copy
Synopsis: The OSVVM VHDL Verification Libraries and Scripts
Description:

OSVVM is a verification methodology that defines a VHDL verification framework, verification utility library, verification component library, scripting API, and co-simulation capability for FPGA or ASIC verification.

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

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.

magic 8.3.581
Dependencies: cairo@1.18.4 glu@9.0.2 libx11@1.8.12 mesa@25.2.3 python@3.11.14 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.

json-for-vhdl 20220905-0.0dc9e31
Channel: guix
Location: gnu/packages/electronics.scm (gnu packages electronics)
Home page: https://github.com/Paebbels/JSON-for-VHDL/
Licenses: ASL 2.0
Build system: copy
Synopsis: Parse and query JSON data structures in VHDL
Description:

The JSON-for-VHDL library provides a parser to query JSON data structures from external files on disk. It provides a context to be used in the declarative section of design units.

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.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31087