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

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.


orocos-kinematics-dynamics 1.5.2-0.34ecff4
Propagated dependencies: eigen@3.4.0
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://docs.orocos.org/kdl/overview.html
Licenses: LGPL 2.1+
Build system: cmake
Synopsis: Orocos Kinematics and Dynamics (KDL) C++ Library
Description:

A C++ library for rigid body kinematics calculations and representations for kinematic structures and their inverse and forward kinematics solvers.

python-asyncua 2.0.1
Propagated dependencies: python-aiosqlite@0.21.0 python-anyio@4.12.1 python-cryptography@44.0.0 python-dateutil@2.9.0 python-pyopenssl@24.3.0 python-pytz@2025.1 python-sortedcontainers@2.4.0 python-typing-extensions@4.15.0
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://freeopcua.github.io/
Licenses: LGPL 3+
Build system: pyproject
Synopsis: OPC UA / IEC 62541 client and server library
Description:

This package provides an OPC UA / IEC 62541 client and server for Python and pypy3.

libfive 0-5.b1ea998
Dependencies: bash-minimal@5.2.37 boost@1.89.0 eigen@3.4.0 guile@3.0.9 libpng@1.6.39 python-wrapper@3.12.12 qtbase@6.9.2
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://libfive.com
Licenses: MPL 2.0 GPL 2+
Build system: cmake
Synopsis: Tool for programmatic computer-aided design
Description:

Libfive is a tool for programmatic computer-aided design (CAD). In libfive, solid models are defined as Scheme or Python scripts, and there are no opaque function calls into the geometry kernel: everything is visible to the user. Even fundamental, primitive shapes are represented as code in the user-level language.

libspnav 1.2
Dependencies: libx11@1.8.12
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://spacenav.sourceforge.net/
Licenses: Modified BSD
Build system: gnu
Synopsis: Library for communicating with spacenavd or 3dxsrv
Description:

The libspnav library is provided as a replacement of the magellan library. It provides a cleaner, and more orthogonal interface. libspnav supports both the original X11 protocol for communicating with the driver, and the new alternative non-X protocol. Programs that choose to use the X11 protocol, are automatically compatible with either the free spacenavd driver or the official 3dxserv, as if they were using the magellan SDK.

Also, libspnav provides a magellan API wrapper on top of the new API. So, any applications that were using the magellan library, can switch to libspnav without any changes. And programmers that are familiar with the magellan API can continue using it with a free library without the restrictions of the official SDK.

rizin 0.8.2
Dependencies: capstone@5.0.3 file@5.46 libuv@1.44.2 libzip@1.9.2 lz4@1.10.0 openssl@3.5.7 pcre2@10.42 tree-sitter@0.25.3 xxhash@0.8.3 zlib@1.3.1 zstd@1.5.6 libmspack@0.11
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://rizin.re
Licenses: GPL 3+
Build system: meson
Synopsis: Disassemble, debug, analyze, and manipulate binary files
Description:

Rizin is a reverse engineering framework and a set of small command-line utilities, providing a complete binary analysis experience with features like disassembler, hexadecimal editor, emulation, binary inspection, debugger, and more.

manifold 3.4.1
Dependencies: onetbb@2023.1.0 clipper2@1.5.2 assimp@5.4.3 python-nanobind@2.10.2 googletest@1.17.0
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://github.com/elalish/manifold
Licenses: ASL 2.0
Build system: cmake
Synopsis: Geometry library for topological robustness
Description:

Manifold is a geometry library dedicated to creating and operating on manifold triangle meshes. A manifold mesh is a mesh that represents a solid object, and so is very important in manufacturing, CAD, structural analysis, etc.. Manifold also supports arbitrary vertex properties and enables mapping of materials for rendering use-cases.

r2ghidra 6.2.0
Dependencies: radare2@6.2.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://www.radare.org/
Licenses: LGPL 3
Build system: gnu
Synopsis: Native Ghidra Decompiler for radare2
Description:

r2ghidra is a radare2 plugin which integrates the Ghidra decompiler.

fastcap 2.0-18Sep92
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://www.rle.mit.edu/cpg/research_codes.htm
Licenses: non-copyleft
Build system: gnu
Synopsis: Multipole-accelerated capacitance extraction program
Description:

Fastcap is a capacitance extraction program based on a multipole-accelerated algorithm.

pythonscad 0.8.4
Dependencies: boost@1.89.0 cairomm@1.18.0 cgal@6.2 clipper2@1.5.2 double-conversion@3.1.5 eigen@3.4.0 egl-wayland@1.1.19 fontconfig-minimal@2.17.1 freetype@2.13.3 glew@2.2.0 glib@2.86.0 gmp@6.3.0 harfbuzz@11.4.4 hidapi@0.15.0 lib3mf@2.2.0 libcanberra@0.30 libspnav@1.2 libxml2@2.14.6 libzip@1.9.2 manifold@3.4.1 mesa@26.0.2 mimalloc@3.3.2 mpfr@4.2.2 nettle@3.10.2 opencsg@1.8.1 openssl@3.5.7 python@3.12.12 python-numpy@2.4.6 python-pillow@12.2.0 qscintilla-qt6@2.14.1 qt5compat@6.9.2 qtmultimedia@6.9.2 qtsvg@6.9.2 qtwayland@6.9.2 sanitizers-cmake@0.0-0.0573e2e onetbb@2023.1.0 curl@8.20.0 libfive@0-5.b1ea998
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://pythonscad.org/
Licenses: GPL 2+
Build system: qt
Synopsis: Script-based 3D modeling app with Python support
Description:

PythonSCAD is a programmatic 3D modeling application. It allows you to turn simple code into 3D models suitable for 3D printing. It is a fork of OpenSCAD which not only adds support for using Python as a native language, but also adds new features and improves existing ones.

lib3ds 1.3.0
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://code.google.com/archive/p/lib3ds
Licenses: LGPL 2.1+
Build system: gnu
Synopsis: 3DS format file toolkit
Description:

Lib3ds is a toolkit for handling the 3DS format for 3D model files. Its main goal is to simplify the creation of 3DS import and export filters.

python-motulator 0.7.5
Propagated dependencies: python-numpy@2.4.6 python-matplotlib@3.10.9 python-scipy@1.17.1 python-tqdm@4.67.1
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://aalto-electric-drives.github.io/motulator/
Licenses: Expat
Build system: pyproject
Synopsis: Motor Drive Simulator in Python
Description:

This package includes simulation models for an induction motor, a synchronous reluctance motor, and a permanent-magnet synchronous motor. The motor models are simulated in the continuous-time domain while the control algorithms run in discrete time. The default solver is the explicit Runge-Kutta method of order 5(4) from scipy.integrate.solve_ivp.

guile-libctl 4.7.1
Dependencies: guile@3.0.9
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://libctl.readthedocs.io/en/latest/
Licenses: GPL 2+
Build system: gnu
Synopsis: Flexible control files implementation for scientific simulations
Description:

Libctl is a Guile-based library implementing flexible control files for scientific simulations.

harminv 1.4.2
Dependencies: openblas@0.3.31
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://github.com/stevengj/harminv
Licenses: GPL 2+
Build system: gnu
Synopsis: Harmonic inversion solver
Description:

Harminv is a free program (and accompanying library) to solve the problem of harmonic inversion — given a discrete-time, finite-length signal that consists of a sum of finitely-many sinusoids (possibly exponentially decaying) in a given bandwidth, it determines the frequencies, decay constants, amplitudes, and phases of those sinusoids.

cutter 2.4.1
Dependencies: graphviz@7.0.1 ksyntaxhighlighting@6.24.0 libzip@1.9.2 openssl@3.5.7 python@3.12.12 python-pyside-6@6.9.2 python-shiboken-6@6.9.2 qt5compat@6.9.2 qtsvg@6.9.2 qttools@6.9.2 qtwayland@6.9.2 rizin@0.8.2 zlib@1.3.1
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://cutter.re
Licenses: CC-BY-SA 3.0 GPL 3+
Build system: qt
Synopsis: Software reverse engineering platform
Description:

Cutter is a reverse engineering platform powered by rizin. It aims to be an advanced and customizable reverse engineering platform while keeping the user experience in mind. Cutter is created by reverse engineers for reverse engineers.

appcsxcad 0.2.3
Dependencies: boost@1.89.0 cgal@6.2 csxcad@0.6.3 eigen@3.4.0 expat@2.7.1 freetype@2.13.3 gmp@6.3.0 hdf5@1.14.6 libjpeg-turbo@2.1.4 libpng@1.6.39 libtiff@4.7.2 lz4@1.10.0 openmpi@4.1.6 qcsxcad@0.6.3 tinyxml@2.6.2 vtk@9.6.0
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://github.com/thliebig/AppCSXCAD
Licenses: GPL 3
Build system: qt
Synopsis: Minimal GUI application for the @code{qcsxcad} library
Description:

A minimal application for the qcsxcad library which is used to describe geometrical objects and their physical and non-physical properties.

python-pandapower 3.3.3
Propagated dependencies: python-deepdiff@8.6.1 python-geojson@3.2.0 python-networkx@3.4.2 python-numpy@2.4.6 python-packaging@26.2 python-pandas@3.0.3 python-pandera@0.31.1 python-scipy@1.17.1 python-tqdm@4.67.1 python-typing-extensions@4.15.0 python-geopandas@1.1.4 python-lxml@6.0.2 python-matplotlib@3.10.9 python-openpyxl@3.1.5 python-pyproj@3.7.2 python-shapely@2.1.1
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://www.pandapower.org/
Licenses: Modified BSD
Build system: pyproject
Synopsis: Power system modelling and analysis
Description:

pandapower is an easy to use network calculation program aimed to automate the analysis and optimization of power systems. It uses the data analysis library pandas and is compatible with the commonly used MATPOWER / PYPOWER case format. pandapower allows using different solvers including an improved Newton-Raphson power flow implementation, all PYPOWER solvers, the C++ library solvers for fast steady-state distribution power system analysis of PowerGridModel, the Newton-Raphson power flow solvers in the C++ library lightsim2grid, and the PowerModels.jl library.

python-esptool 5.3.0
Propagated dependencies: python-bitstring@4.3.1 python-click@8.4.1 python-cryptography@44.0.0 python-intelhex@2.3.0 python-pyserial@3.5-0.a5c48d4 python-pyyaml@6.0.3 python-reedsolo@1.7.0 python-rich-click@1.9.8
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://github.com/espressif/esptool
Licenses: GPL 2+
Build system: pyproject
Synopsis: Bootloader utility for Espressif ESP8266 & ESP32 chips
Description:

esptool.py is a Python-based utility to communicate with the ROM bootloader in Espressif ESP8266 & ESP32 series chips.

geda-gaf 1.10.2
Dependencies: gamin@0.1.10 gdk-pixbuf@2.44.5 glib@2.86.0 gtk+@2.24.33 guile@2.0.14 libxcrypt@4.4.38 shared-mime-info@2.3 m4@1.4.19 pcb@4.3.0 python2@2.7.18
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: http://geda-project.org/
Licenses: GPL 2+
Build system: gnu
Synopsis: Schematic capture, netlister, symbols, symbol checker, and utils
Description:

Gaf stands for “gschem and friends”. It is a subset of the entire tool suite grouped together under the gEDA name. gEDA/gaf is a collection of tools which currently includes: gschem, a schematic capture program; gnetlist, a netlist generation program; gsymcheck, a syntax checker for schematic symbols; gattrib, a spreadsheet programme that manipulates the properties of symbols of a schematic; libgeda, libraries for gschem gnetlist and gsymcheck; gsch2pcb, a tool to forward annotation from your schematic to layout using PCB; some minor utilities.

mpb 1.12.0
Dependencies: fftw@3.3.10 gsl@2.8 guile@3.0.9 guile-libctl@4.7.1 hdf5@1.14.6 openblas@0.3.31 readline@8.2.13 zlib@1.3.1
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://mpb.readthedocs.io/en/latest/
Licenses: GPL 2+
Build system: gnu
Synopsis: Computes band structures and electromagnetic modes of dielectric structures
Description:

MIT Photonic-Bands (MPB) computes definite-frequency eigenstates (harmonic modes) of Maxwell's equations in periodic dielectric structures for arbitrary wavevectors, using fully-vectorial and three-dimensional methods.

mbpoll 1.5.4
Dependencies: libmodbus@3.1.11
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://github.com/epsilonrt/mbpoll
Licenses: GPL 3
Build system: cmake
Synopsis: Command line utility to communicate with ModBus slave (RTU or TCP)
Description:

mbpoll is a command line utility to communicate with ModBus slave (RTU or TCP).

poke-elf 1.0
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://jemarch.net/poke-elf
Licenses: GPL 3+
Build system: gnu
Synopsis: GNU poke pickle for ELF object files
Description:

poke-elf is a GNU poke pickle for editing ELF object files, executables, shared libraries and core dumps. It supports many architectures and extensions.

libarea 0-1.8f8bac8
Dependencies: boost@1.89.0 python-wrapper@3.12.12
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://github.com/Heeks/libarea
Licenses: Modified BSD GPL 3+
Build system: gnu
Synopsis: Library and python module for pocketing and profiling operations
Description:

Area is a CAM-related software for pocketing operation.

This project provides library and associated python-module to compute pocket operations.

meshlab 2025.07
Dependencies: boost@1.89.0 cgal@6.2 embree@4.4.1 glew@2.2.0 lib3ds@1.3.0 lib3mf@2.2.0 libe57format@3.2.0 libigl@2.4.0 mpfr@4.2.2 muparser@2.3.5 onetbb@2023.1.0 openctm@1.0.3.603 qhull@2020.2 tinygltf@2.9.6 xerces-c@3.3.0
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://www.meshlab.net/
Licenses: GPL 3+
Build system: qt
Synopsis: 3D triangular mesh processing and editing software
Description:

MeshLab is a system for the processing and editing of large, unstructured, 3D triangular meshes. It is aimed to help the processing of the typical, not-so-small unstructured models arising in 3D scanning, providing a set of tools for editing, cleaning, healing, inspecting, rendering and converting this kind of meshes. These tools include MeshLab proper, a versatile program with a graphical user interface, and meshlabserver, a program that can perform mesh processing tasks in batch mode, without a GUI.

solvespace 3.1
Dependencies: bash-minimal@5.2.37 cairo@1.18.4 eigen@3.4.0 freetype@2.13.3 gtkmm@3.24.9 json-c@0.18 libpng@1.6.39 libspnav@1.2 mimalloc@3.3.2 mesa@26.0.2 zlib@1.3.1
Channel: guix
Location: gnu/packages/engineering.scm (gnu packages engineering)
Home page: https://solvespace.com/
Licenses: GPL 3+
Build system: cmake
Synopsis: Parametric 2D/3D @acronym{CAD, computer-aided design} software
Description:

SOLVESPACE is a parametric 3D CAD tool. Applications include:

  • modeling 3D parts — draw with extrudes, revolves, helixes and Boolean (union / difference / intersection) operations

  • modeling 2D parts — draw the part as a single section, and export DXF, PDF, SVG; use 3D assembly to verify fit

  • 3D-printed parts — export the STL or other triangle mesh expected by most 3D printers

  • preparing CAM data — export 2D vector art for a waterjet machine or laser cutter; or generate STEP or STL, for import into third-party CAM software for machining

  • mechanism design — use the constraint solver to simulate planar or spatial linkages, with pin, ball, or slide joints

  • plane and solid geometry — replace hand-solved trigonometry and spreadsheets with a live dimensioned drawing

Total packages: 33009