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

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.


libskk 1.1.1
Dependencies: json-glib@1.10.0 libxkbcommon@1.13.1 skk-jisyo@0-0.38c81db
Propagated dependencies: glib@2.86.0 libgee@0.20.8
Channel: guix
Location: gnu/packages/language.scm (gnu packages language)
Home page: https://github.com/ueno/libskk
Licenses: GPL 3+
Build system: gnu
Synopsis: Dealing with Japanese kana-to-kanji conversion
Description:

libskk is a library to deal with Japanese kana-to-kanji conversion method.

perl-snowball-swedish 1.2
Channel: guix
Location: gnu/packages/language.scm (gnu packages language)
Home page: https://metacpan.org/release/Snowball-Swedish
Licenses: GPL 1+
Build system: perl
Synopsis: Porters stemming algorithm for Swedish
Description:

Lingua::Stem::Snowball::Se is a perl port of the swedish stemmer at http://snowball.sourceforge.net.

hime 0.9.11
Dependencies: anthy@9100h libappindicator@12.10.1-0-298 libchewing@0.11.0 gtk+@3.24.51 qtbase@5.15.17 libxtst@1.2.5
Channel: guix
Location: gnu/packages/language.scm (gnu packages language)
Home page: https://hime-ime.github.io/
Licenses: GPL 2+ LGPL 2.1+ FDL 1.2+
Build system: glib-or-gtk
Synopsis: HIME Input Method Editor
Description:

Hime is an extremely easy-to-use input method framework. It is lightweight, stable, powerful and supports many commonly used input methods, including Cangjie, Zhuyin, Dayi, Ranked, Shrimp, Greek, Anthy, Korean, Latin, Random Cage Fighting Birds, Cool Music etc.

python-sacremoses 0.1.0
Propagated dependencies: python-click@8.3.1 python-joblib@1.5.2 python-regex@2026.2.28 python-tqdm@4.67.1
Channel: guix
Location: gnu/packages/language.scm (gnu packages language)
Home page: https://github.com/hplt-project/sacremoses
Licenses: Expat
Build system: pyproject
Synopsis: Natural language tokenizer, truecaser and normalizer
Description:

SacreMoses is a Python port of Moses' tokenizer, detokenizer, truecaser and punctuation normalizer.

lc0-t1-512 0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: trivial
Synopsis: Pre-trained neural network for Leela Chess Zero
Description:

This is a smaller version of the T1 neural network, which is currently one of the best neural networks for Leela Chess Zero.

lc0-maia-1400 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0-t1 0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: trivial
Synopsis: Pre-trained neural network for Leela Chess Zero
Description:

T1 is currently one of the best neural networks for Leela Chess Zero, however, it was superseded by the neural network T2.

lc0-maia-1600 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0 0.31.2
Dependencies: eigen@3.4.0 onednn@3.10.2 zlib@1.3.1
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: meson
Synopsis: Chess engine based on neural networks
Description:

Leela Chess Zero is a UCI-compliant chess engine designed to play chess using neural networks. This package does not provide a neural network, which is necessary to use Leela Chess Zero and should be installed separately.

lc0-t2 0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: trivial
Synopsis: Pre-trained neural network for Leela Chess Zero
Description:

T2 is currently one of the best neural networks for Leela Chess Zero, superseding the neural network T1.

lc0-t1-256 0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: trivial
Synopsis: Pre-trained neural network for Leela Chess Zero
Description:

This is a smaller version of the T1 neural network, which is currently one of the best neural networks for Leela Chess Zero.

lc0-611246 0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: trivial
Synopsis: Pre-trained neural network for Leela Chess Zero
Description:

This is an official neural network of a ``main run'' of the Leela Chess Zero project that was finished being trained in January of 2022.

lc0-815383 0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: trivial
Synopsis: Pre-trained neural network for Leela Chess Zero
Description:

This is an official neural network of a ``main run'' of the Leela Chess Zero project. The network was finished being trained in September of 2023.

lc0-maia-1500 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0-maia-1800 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0-791556 0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://lczero.org
Licenses: GPL 3+
Build system: trivial
Synopsis: Pre-trained neural network for Leela Chess Zero
Description:

This is an official neural network of the Leela Chess Zero project that was finished being trained in April of 2022.

lc0-maia-1900 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0-maia-1300 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0-maia-1100 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0-maia-1200 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lc0-maia-1700 1.0
Channel: guix
Location: gnu/packages/lc0.scm (gnu packages lc0)
Home page: https://maiachess.com
Licenses: GPL 3
Build system: copy
Synopsis: Human-like neural network for Leela Chess Zero
Description:

Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

lean4 4.29.0
Dependencies: cadical@2.1.3 gmp@6.3.0 libuv@1.44.2 llvm@13.0.1
Channel: guix
Location: gnu/packages/lean.scm (gnu packages lean)
Home page: https://lean-lang.org
Licenses: ASL 2.0
Build system: cmake
Synopsis: Theorem prover and programming language
Description:

Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.

python-mathlibtools 1.3.2
Dependencies: python-toml@0.10.2 python-pygithub@2.8.1 python-certifi@2025.06.15 python-gitpython@3.1.44 python-requests@2.32.5 python-click@8.3.1 python-tqdm@4.67.1 python-networkx@3.4.2 python-pydot@4.0.1 python-pyyaml@6.0.2 python-atomicwrites@1.4.0
Channel: guix
Location: gnu/packages/lean.scm (gnu packages lean)
Home page: https://github.com/leanprover-community/mathlib-tools
Licenses: ASL 2.0
Build system: pyproject
Synopsis: Development tools for Lean mathlib
Description:

This package contains leanproject, a supporting tool for Lean mathlib, a mathematical library for the Lean theorem prover.

nqc 3.1.r6
Channel: guix
Location: gnu/packages/lego.scm (gnu packages lego)
Home page: https://bricxcc.sourceforge.net/nqc/
Licenses: MPL 1.0
Build system: gnu
Synopsis: C-like language for Lego's MINDSTORMS
Description:

Not Quite C (NQC) is a simple language for programming several Lego MINDSTORMS products. The preprocessor and control structures of NQC are very similar to C. NQC is not a general purpose language -- there are many restrictions that stem from limitations of the standard RCX firmware.

Total packages: 72465