Prjpeppercorn includes programming tools for GateMate architecture from Cologne Chip. It also provides data needed to produce a nextpnr chip database Cologne Chip's GateMate architecture.

sby-gui is a GUI for front-end driver program for codeyosys-based formal hardware verification flows.

OpenEMS is an electromagnetic field solver using the FDTD method.

netgen is a general purpose LVS management tool. It compares netlists of SPICE or verilog netlists circuits. This is commonly used as a part of toolchains in a process called LVS with the intent to verify that the layout of a circuit corresponds to the desired netlists.

ABC is a program for sequential logic synthesis and formal verification. This is the Yosyshq fork of ABC.

Pcb-rnd is a Printed Circuit Board layout editor, part of the RiNgDove EDA suite.

code{Yosys-slang

PyRTL provides a collection of classes for Pythonic RTL-level design, simulation, tracing, and testing, suitable for teaching and research.

The Amaranth project provides an open-source toolchain for developing hardware based on synchronous digital logic using the Python programming language, as well as evaluation board definitions and a System on Chip toolkit.

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

qucsrflayout command exports RF schematics to KiCad layouts and OpenEMS scripts.

This package contains the official KiCad 3D model libraries.

nextpnr is an EDA, portable and vendor neutral FPGA place and route tool.

Sigrok-cli is a command-line frontend for sigrok.

This package contains the official KiCad project and worksheet templates.

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.

libdwarf is a library that handles the DWARF debugging information format.

ABIGAIL stands for the Application Binary Interface Generic Analysis and Instrumentation Library. It is a framework which aims at helping developers and software distributors to spot ABI-related issues like interface incompatibility in ELF shared libraries by performing a static analysis of the ELF binaries at hand.

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

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

Libelf is a C library to access ELF object files.

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.

chrpath allows listing, changing or removing the dynamic library load path (RPATH and RUNPATH) of compiled programs and libraries.

This package provides elixir-db-connection, a library implementing database connection behaviour and database connection pool. It is designed for handling transaction, prepare/execute, cursors and client process describe/encode/decode.