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

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.


zint 2.16.0
Dependencies: libpng@1.6.39
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://www.zint.org.uk/
Licenses: Modified BSD GPL 3+
Build system: cmake
Synopsis: Barcode encoding library
Description:

Zint is a suite of programs to allow easy encoding of data in any of the wide range of public domain barcode standards and to allow integration of this capability into your own programs.

qrcodegen-cpp 1.8.0
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://www.nayuki.io/page/qr-code-generator-library
Licenses: Expat
Build system: cmake
Synopsis: QR Code generator library
Description:

qrcodegen-cpp is a QR code generator library in C++. The project also offers Java, Javascript, Python, C, and Rust implementations.

python-pyzbar 0.1.9
Dependencies: zbar@0.23.93
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://github.com/NaturalHistoryMuseum/pyzbar/
Licenses: Expat
Build system: pyproject
Synopsis: Read one-dimensional barcodes and QR codes
Description:

Read one-dimensional barcodes and QR codes using the zbar library.

Features:

  • Pure python

  • Works with PIL / Pillow images, OpenCV / numpy ndarrays, and raw bytes

  • Decodes locations of barcodes

  • No dependencies, other than the zbar library itself

zbar 0.23.93
Dependencies: imagemagick@6.9.13-5 libjpeg-turbo@2.1.4 perl@5.36.0 python@3.12.12 v4l-utils@1.24.1
Propagated dependencies: glib@2.86.0 gtk+@3.24.52
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://github.com/mchehab/zbar
Licenses: LGPL 2.1+
Build system: glib-or-gtk
Synopsis: Bar code reader
Description:

ZBar can read barcodes from various sources, such as video streams, image files, and raw intensity sensors. It supports EAN-13/UPC-A, UPC-E, EAN-8, Code 128, Code 93, Code 39, Codabar, Interleaved 2 of 5, QR Code and SQ Code. Included with the library are basic applications for decoding captured bar code images and using a video device (e.g. webcam) as a bar code scanner. For application developers, language bindings are included for C, C++ and Python as well as GUI widgets for GTK and Qt.

libdmtx 0.7.7
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://github.com/dmtx
Licenses: Modified BSD
Build system: gnu
Synopsis: Library for reading and writing Data Matrix 2D barcodes
Description:

libdmtx is software for reading and writing Data Matrix 2D barcodes of the modern ECC200 variety. libdmtx is a shared library, allowing C/C++ programs to use its capabilities without restrictions or overhead.

go-rsc-io-qr 0.2.0-0.b6857d4
Propagated dependencies: qrencode@4.1.1
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://github.com/rsc/qr
Licenses: Modified BSD
Build system: go
Synopsis: Basic QR encoder
Description:

Package qr encodes QR codes.

zint-with-qt 2.16.0
Dependencies: libpng@1.6.39 qtsvg@6.9.2 qttools@6.9.2
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://www.zint.org.uk/
Licenses: Modified BSD GPL 3+
Build system: qt
Synopsis: Barcode encoding library (with graphical user interface)
Description:

Zint is a suite of programs to allow easy encoding of data in any of the wide range of public domain barcode standards and to allow integration of this capability into your own programs.

go-github-com-mdp-qrterminal 1.0.1
Propagated dependencies: go-rsc-io-qr@0.2.0-0.b6857d4
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://github.com/mdp/qrterminal
Licenses: Expat
Build system: go
Synopsis: QR codes in your terminal
Description:

Golang library for generating QR codes in the terminal. Originally this was a port of the NodeJS version. Recently it's been updated to allow for smaller code generation using ASCII 'half blocks'.

qrencode 4.1.1
Dependencies: libpng@1.6.39
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://fukuchi.org/works/qrencode
Licenses: LGPL 2.1+
Build system: gnu
Synopsis: Encode data into a QR Code symbol
Description:

Libqrencode is a C library for encoding data in a QR Code symbol, a kind of 2D symbology that can be scanned by handy terminals such as a mobile phone with CCD. The capacity of QR Code is up to 7000 digits or 4000 characters, and is highly robust.

zxing-cpp 2.3.0
Dependencies: libpng@1.6.39 zint@2.16.0 zlib@1.3.1
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://github.com/zxing-cpp/zxing-cpp
Licenses: ASL 2.0
Build system: cmake
Synopsis: C++ port of ZXing
Description:

ZXing-CPP is a barcode scanning library.

dmtx-utils 0.7.6
Dependencies: libdmtx@0.7.7 imagemagick@6.9.13-5 libjpeg-turbo@2.1.4
Channel: guix
Location: gnu/packages/aidc.scm (gnu packages aidc)
Home page: https://github.com/dmtx/dmtx-utils/
Licenses: LGPL 2.1 GPL 2
Build system: gnu
Synopsis: Utilities for working with Data Matrix barcodes
Description:

libdmtx is a software library that enables programs to read and write Data Matrix barcodes of the modern ECC200 variety. This package, dmtx-utils, provides command line utilities that allow scripts and command line users to use libdmtx functionality.

This package includes the following programs:

  1. dmtxquery: Extract information from dmtxread output.

  2. dmtxread: Scan Data Matrix barcodes.

  3. dmtxwrite: Create Data Matrix barcodes.

symmetrica 3.1.0
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://gitlab.com/sagemath/symmetrica/
Licenses: ISC
Build system: gnu
Synopsis: Combinatoric C Library
Description:

Symmetrica is a library for combinatorics. It has support for the representation theory of the symmetric group and related groups, combinatorics of tableaux, symmetric functions and polynomials, Schubert polynomials, and the representation theory of Hecke algebras of type A_n.

java-jlargearrays 1.6
Propagated dependencies: java-commons-math3@3.6.1
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://gitlab.com/ICM-VisLab/JLargeArrays
Licenses: FreeBSD
Build system: ant
Synopsis: Library of one-dimensional arrays that can store up to 263 elements
Description:

JLargeArrays is a Java library of one-dimensional arrays that can store up to 263 elements.

ntl 11.5.1
Dependencies: gmp@6.3.0 gf2x@1.3.0
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://shoup.net/ntl/
Licenses: LGPL 2.1+
Build system: gnu
Synopsis: C++ library for number theory
Description:

NTL is a C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields.

pari-gp 2.17.4
Dependencies: gmp@6.3.0 libx11@1.8.12 perl@5.36.0 readline@8.2.13
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://pari.math.u-bordeaux.fr/
Licenses: GPL 2+
Build system: gnu
Synopsis: PARI/GP, a computer algebra system for number theory
Description:

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorisations, algebraic number theory, elliptic curves...), but it also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers, etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations.

libsemigroups 2.7.3
Dependencies: eigen@3.4.0 fmt@11.2.0
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://github.com/libsemigroups/libsemigroups
Licenses: GPL 3+
Build system: gnu
Synopsis: Library for semigroups and monoids
Description:

libsemigroups is a C++14 library containing implementations of several algorithms for computing finite, and finitely presented, semigroups and monoids.

fflas-ffpack 2.5.0
Dependencies: openblas@0.3.31
Propagated dependencies: givaro@4.2.1
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://linbox-team.github.io/fflas-ffpack/
Licenses: LGPL 2.1+
Build system: gnu
Synopsis: C++ library for linear algebra over finite fields
Description:

FFLAS-FFPACK is a C++ template library for basic linear algebra operations over a finite field. FFLAS (Finite Field Linear Algebra Subprograms) provides the implementation of a subset of routines of the numerical BLAS; it also supports sparse matrix-vector products. FFPACK (Finite Field Linear Algebra Package) is inspired by the LAPACK library to provide functionalities of higher level, using the kernel of a BLAS. Additionally, it provides routines specific to exact linear algebra, such as the row echelon form.

gmp-ecm 7.0.5
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://gitlab.inria.fr/zimmerma/ecm
Licenses: GPL 3+
Build system: gnu
Synopsis: Integer factorization library using the elliptic curve method
Description:

GMP-ECM factors integers using the elliptic curve method (ECM) as well as the P-1 and P+1 algorithms. It provides a library and a stand-alone binary.

m4ri 20250128
Dependencies: libpng@1.6.39
Propagated dependencies: zlib@1.3.1
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://bitbucket.org/malb/m4ri/
Licenses: GPL 2+
Build system: gnu
Synopsis: Arithmetic of dense matrices over F_2
Description:

M4RI is a library for fast arithmetic with dense matrices over F2. The name M4RI comes from the first implemented algorithm: The Method of the Four Russians inversion algorithm published by Gregory Bard. This algorithm in turn is named after the Method of the Four Russians multiplication algorithm.

flint 3.6.0
Propagated dependencies: gmp@6.3.0 mpfr@4.2.2
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://flintlib.org/
Licenses: LGPL 3+
Build system: gnu
Synopsis: Fast library for number theory
Description:

FLINT is a C library for number theory. It supports arithmetic with numbers, polynomials, power series and matrices over many base rings, including multiprecision integers and rationals, integers modulo n, p-adic numbers, finite fields (prime and non-prime order) and real and complex numbers (via the Arb extension library).

Operations that can be performed include conversions, arithmetic, GCDs, factoring, solving linear systems, and evaluating special functions. In addition, FLINT provides various low-level routines for fast arithmetic.

reduce 2026-03-11
Dependencies: freetype@2.13.3 libffi@3.4.6 libx11@1.8.12 libxext@1.3.6 libxft@2.3.8 ncurses@6.2.20210619
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://reduce-algebra.sourceforge.io/
Licenses: non-copyleft
Build system: gnu
Synopsis: Portable general-purpose computer algebra system
Description:

REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations but also provides a full programming language, with a syntax similar to other modern programming languages. REDUCE supports alternative user interfaces including Run-REDUCE, TeXmacs and GNU Emacs. This package provides the Codemist Standard Lisp (CSL) version of REDUCE. It uses the gnuplot program, if installed, to draw figures.

gappa 1.4.1
Dependencies: boost@1.89.0 gmp@6.3.0 mpfr@4.2.2
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://gitlab.inria.fr/gappa/gappa
Licenses: GPL 3+ CeCILL
Build system: gnu
Synopsis: Proof generator for arithmetic properties
Description:

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It has been used to write robust floating-point filters for CGAL and it is used to certify elementary functions in CRlibm. While Gappa is intended to be used directly, it can also act as a backend prover for the Why3 software verification platform or as an automatic tactic for the Coq proof assistant.

fplll 5.5.0
Propagated dependencies: gmp@6.3.0 mpfr@4.2.2
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://github.com/fplll/fplll
Licenses: LGPL 2.1+
Build system: gnu
Synopsis: Library for LLL-reduction of euclidean lattices
Description:

fplll contains implementations of several lattice algorithms. The implementation relies on floating-point orthogonalization, and LLL is central to the code, hence the name.

It includes implementations of floating-point LLL reduction algorithms, offering different speed/guarantees ratios. It contains a wrapper choosing the estimated best sequence of variants in order to provide a guaranteed output as fast as possible. In the case of the wrapper, the succession of variants is oblivious to the user.

It includes an implementation of the BKZ reduction algorithm, including the BKZ-2.0 improvements (extreme enumeration pruning, pre-processing of blocks, early termination). Additionally, Slide reduction and self dual BKZ are supported.

It also includes a floating-point implementation of the Kannan-Fincke-Pohst algorithm that finds a shortest non-zero lattice vector. For the same task, the GaussSieve algorithm is also available in fplll. Finally, it contains a variant of the enumeration algorithm that computes a lattice vector closest to a given vector belonging to the real span of the lattice.

python-pynormaliz 2.24
Dependencies: flint@3.6.0 gmp@6.3.0 normaliz@3.11.1
Channel: guix
Location: gnu/packages/algebra.scm (gnu packages algebra)
Home page: https://github.com/Normaliz/PyNormaliz
Licenses: GPL 2+
Build system: pyproject
Synopsis: Python interface to Normaliz
Description:

PyNormaliz provides an interface to Normaliz via libNormaliz. It offers the complete functionality of Normaliz, and can be used interactively from Python.

Page: 1…678910…1374
Total packages: 32967