UHDM is a complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener.

Ngspice is a mixed-level/mixed-signal circuit simulator. It includes Spice3f5, a circuit simulator, and Xspice, an extension that provides code modeling support and simulation of digital components through an embedded event driven algorithm.

This package provides a VHDL compiler and simulator.

Nextpnr is a portable FPGA place and route tool.

The project Apycula provides tools to support development and generating bitstreams with Gowin FPGAs.

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

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.

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

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

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

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

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.

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.

Libelf is a C library to access ELF object files.

Libelf is a C library to access ELF object files.

This package provides elixir-table, a library that implements unified access to tabular data.

This library provides a MySQL 5.5+ driver for Elixir.

When using a relational DB (such an Ecto schema with a Postgres table), usually a foreign key field has to be pre-defined with a reference pointing to a specific field in a specific table.

Besides regular schemas with universal foreign keys (Pointable), Needle provides Virtual for schemas that don’t have any fields on their own, and Mixin for storing common fields that can be re-used by multiple Pointables or Virtuals.

PostGIS extension for Postgrex.

This package provides a factory library by the creators of FactoryBot (FactoryGirl).

This package provides elixir-needle-ulid, a library implementing an ULID datatype for Ecto (using ex_ulid) and related helpers.

This package provides UUID generation, parsing, and formatting. Supports RFC 4122, and the v6 draft extension.

This package provides a toolkit for data mapping and language integrated query for Elixir.

Exto is an Elixir library providing configuration-driven Ecto schema extensibility.