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

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 webring send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.


liblinebreak 2.1
Channel: guix
Location: gnu/packages/ebook.scm (gnu packages ebook)
Home page: https://vimgadgets.sourceforge.net/liblinebreak/
Licenses: Zlib
Synopsis: Library for detecting where linebreaks are allowed in text
Description:

liblinebreak is an implementation of the line breaking algorithm as described in Unicode 6.0.0 Standard Annex 14, Revision 26. It breaks lines that contain Unicode characters. It is designed to be used in a generic text renderer.

inkbox 1.7
Channel: guix
Location: gnu/packages/ebook.scm (gnu packages ebook)
Home page: https://github.com/Kobo-InkBox/inkbox
Licenses: GPL 3
Synopsis: EBook reader
Description:

This package provides InkBox eBook reader.

tagainijisho 1.2.2
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://www.tagaini.net
Licenses: GPL 3+
Synopsis: Japanese dictionary and learning assistant
Description:

Tagaini Jisho is a Japanese dictionary and kanji lookup tool. It aims at becoming your Japanese study assistant. It allows you to quickly search for entries and mark those that you wish to study, along with tags and personal notes. It also let you train entries you are studying and follows your progression in remembering them. Finally, it makes it easy to review entries you did not remember by listing them on screen or printing them on a small booklet.

Tagaini Jisho also features complete stroke order animations for more than 6000 kanji.

openboard 1.7.3
Dependencies: alsa-lib@1.2.11 coreutils-minimal@9.1 cups-minimal@2.4.14 ffmpeg@8.0 freetype@2.13.3 lame@3.100 libass@0.15.1 libfdk@2.0.1 libtheora@1.1.1 libva@2.22.0 libvorbis@1.3.7 libvpx@1.15.2 libx264@164-0.b093bbe openssl@3.0.8 opus@1.5.2 poppler@22.09.0 qt5compat@6.9.2 qtdeclarative@6.9.2 qtmultimedia@6.9.2 qtsvg@6.9.2 qtwebchannel@6.9.2 qtwebengine@6.9.3 quazip@1.5 sdl12-compat@1.2.68 zlib@1.3.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://openboard.ch/
Licenses: GPL 3
Synopsis: Interactive whiteboard for schools and universities
Description:

OpenBoard is a teaching software for interactive whiteboard designed primarily for use in schools and universities. It can be used both with interactive whiteboards or in a dual-screen setup with a pen-tablet display and a beamer.

mazo 1.2.1
Propagated dependencies: adwaita-icon-theme@46.2 dbus@1.15.8 gstreamer@1.26.3 gtk@4.16.13 python@3.11.14 python-django@5.2.8 python-django-cleanup@9.0.0 python-django-svg-image-form-field@1.0.1 python-pillow@11.1.0 python-pycairo@1.28.0 python-pygobject@3.50.0 yelp@42.2
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://luis-felipe.gitlab.io/mazo/
Licenses: Public Domain
Synopsis: Memorize concepts using multimedia flash cards
Description:

Mazo is a learning application that helps you memorize simple concepts using multimedia flash cards and spaced reviews.

t4k-common 0.1.1
Dependencies: font-sil-andika@7.000 libpng@1.6.39 librsvg@2.58.5 libxml2@2.14.6 sdl-union@1.2.68
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://github.com/tux4kids/t4kcommon
Licenses: GPL 3+
Synopsis: Library of code shared between TuxMath and TuxType
Description:

Tux4Kids-Common is a library of code shared between TuxMath and TuxType.

kanatest 0.4.10-0.860e790
Dependencies: libxml2@2.14.6 gtk+@3.24.51
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://kanatest.sourceforge.io/
Licenses: GPL 2+
Synopsis: Hiragana and Katakana simple flashcard tool
Description:

Kanatest is a Japanese kana (Hiragana and Katakana) simple flashcard tool.

During test the Kanatest displays randomly selected kana char (respecting mode and lesson) and waits for user answer expected as romaji equivalent. This process continues until all questions will be answered or all questions will be answered correctly (depends on options). At the end of test a short info about drilling time and correctness ratio is displayed. The results are stored and user can review his performance in any time.

qolibri 2.1.4
Dependencies: libeb@4.4.3 qtbase@5.15.17 qtmultimedia@5.15.17 qtquickcontrols2@5.15.17 qtdeclarative@5.15.17 qtwebchannel@5.15.17 qtwebengine@5.15.17 zlib@1.3.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://github.com/ludios/qolibri
Licenses: GPL 2
Synopsis: EPWING dictionary reader
Description:

qolibri is a dictionary viewer for the EPWING dictionary format. Most monolingual Japanese dictionaries can only be found in the EPWING format.

tipp10 3.3.4
Dependencies: qtbase@6.9.2 qtmultimedia@6.9.2
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://www.tipp10.com/en/
Licenses: GPL 2
Synopsis: Touch typing tutor
Description:

Tipp10 is a touch typing tutor. The ingenious thing about the software is its intelligence feature: characters that are mistyped are repeated more frequently. Beginners will find their way around right away so they can start practicing without a hitch.

Useful support functions and an extensive progress tracker, topical lessons and the ability to create your own practice lessons make learning to type easy.

exercism 3.5.7
Dependencies: xdg-utils@1.2.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://exercism.org/
Licenses: Expat
Synopsis: Mentored learning for programming languages
Description:

Commandline client for exercism.io, a free service providing mentored learning for programming languages.

cf-tool 1.0.0
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://github.com/xalanq/cf-tool
Licenses: Expat
Synopsis: Command-line interface tool for @url{https://codeforces.com, Codeforces}
Description:

Codeforces Tool is a command-line interface tool for Codeforces. Its features include:

  • support Contests, Gym, Groups and acmsguru

  • support all programming languages in Codeforces

  • submit codes

  • watch submissions' status dynamically

  • fetch problems' samples

  • compile and test locally

  • clone all codes of someone

  • generate codes from the specified template (including timestamp, author, etc.)

  • list problems' stats of one contest

  • use default web browser to open problems' pages, standings' page, etc.

  • setup a network proxy and setup a mirror host

gcompris 17.05
Dependencies: gtk+@2.24.33 librsvg@2.58.5 libxml2@2.14.6 sdl-mixer@1.2.12 sqlite@3.39.3 glib@2.83.3 python@3.11.14
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://gcompris.net
Licenses: GPL 3+
Synopsis: Educational software suite
Description:

GCompris is an educational software suite comprising of numerous activities for children aged 2 to 10. Some of the activities are game orientated, but nonetheless still educational. Below you can find a list of categories with some of the activities available in that category.

  1. computer discovery: keyboard, mouse, different mouse gestures, ...

  2. arithmetic: table memory, enumeration, double entry table, mirror image, ...

  3. science: the canal lock, the water cycle, the submarine, electric simulation ...

  4. geography: place the country on the map

  5. games: chess, memory, connect 4, oware, sudoku ...

  6. reading: reading practice

  7. other: learn to tell time, puzzle of famous paintings, vector drawing, cartoon making, ...

mdk 1.3.0
Dependencies: glib@2.83.3 gtk+@3.24.51 libglade@2.6.4 ncurses@6.2.20210619 pango@1.54.0 readline@8.2.13
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://www.gnu.org/software/mdk/manual/
Licenses: GPL 3+
Synopsis: Virtual development environment for Knuth's MIX
Description:

GNU MDK is the Mix Development Kit, an emulation of the pedagogical computer MIX and its assembly language MIXAL. MIX has a virtual CPU with standard features such as registers, memory cells, an overflow toggle, comparison flags, input-output devices, and a set of binary instructions. The package includes a compiler, a virtual machine, a GUI for the virtual machine, and more.

hardv 5.0.0
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://github.com/dongyx/hardv
Licenses: FreeBSD
Synopsis: Spaced repetition flash card program
Description:

HardV is a powerful spaced repetition flash card program. The key features are:

  • HardV runs in the CLI mode by default, but you may configure it to be a TUI program, or to view images in a GUI window.

  • HardV can open the editor, send the content you wrote to an online judging system, and determine the next quiz time by the judging result.

  • It can be used to implement keyboard shortcut practice, cloze deletion, text-to-speech review, typing in the answer, and more.

  • The format of input files are easy to be parsed by both human and other Unix utilities like grep, sed, and awk.

  • Metadata like scheduled time is written back to input files; thus all your data is in files created and managed by yourself.

  • HardV is a Unix filter in the default mode; that makes it easy to be called by other programs. For example, you could pipe HardV to a voice synthesizer to make an audio quiz.

toutenclic 7.00
Dependencies: python-pyqt@5.15.11
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://bipede.fr/contrib/
Licenses: GPL 3
Synopsis: School tools for physically disabled children
Description:

ToutEnClic is intended to facilitate the schooling of physically disabled children in ordinary schools. It is both a multi-page virtual exercise book and a kit including pencil, scissors, glue, ruler, compass, protractor and square. A virtual keyboard is also available if the child does not have any other specialized device.

anki 2.1.16
Dependencies: lame@3.100 mpv@0.41.0 python-wrapper@3.11.14 python-beautifulsoup4@4.14.3 python-decorator@5.2.1 python-distro@1.9.0 python-jsonschema@4.23.0 python-markdown@3.10 python-pyaudio@0.2.14 python-pyqtwebengine@5.15.9 python-pyqt@5.15.11 python-requests@2.32.5 python-send2trash@1.8.2 python-sip@6.12.0 qtwebengine@5.15.17
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://apps.ankiweb.net/
Licenses: AGPL 3+
Synopsis: Powerful, intelligent flash cards
Description:

Anki is a program which makes remembering things easy. Because it's a lot more efficient than traditional study methods, you can either greatly decrease your time spent studying, or greatly increase the amount you learn.

Anyone who needs to remember things in their daily life can benefit from Anki. Since it is content-agnostic and supports images, audio, videos and scientific markup (via LaTeX), the possibilities are endless. For example:

  • Learning a language

  • Studying for medical and law exams

  • Memorizing people's names and faces

  • Brushing up on geography

  • Mastering long poems

  • Even practicing guitar chords!

fet 7.5.4
Dependencies: qtbase@6.9.2
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://www.lalescu.ro/liviu/fet/
Licenses: AGPL 3
Synopsis: Timetabling software
Description:

FET is a program for automatically scheduling the timetable of a school, high-school or university. It uses a fast and efficient timetabling algorithm.

Usually, FET is able to solve a complicated timetable in maximum 5-20 minutes. For extremely difficult timetables, it may take a longer time, a matter of hours.

snap 7.0.5
Dependencies: bash-minimal@5.2.37 js-filesaver@1.3.8 xdg-utils@1.2.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://snap.berkeley.edu
Licenses: AGPL 3+
Synopsis: Visual, blocks based programming language
Description:

Snap! (formerly BYOB) is a visual, drag-and-drop programming language. It is an extended reimplementation of Scratch (a project of the Lifelong Kindergarten Group at the MIT Media Lab) that allows you to Build Your Own Blocks. It also features first class lists, first class procedures, and continuations. These added capabilities make it suitable for a serious introduction to computer science for high school or college students.

This package provides a snap executable calling xdg-open to open the application in a web browser, for offline usage.

exercism-cli 3.5.7
Dependencies: xdg-utils@1.2.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://exercism.org/
Licenses: Expat
Synopsis: Mentored learning for programming languages
Description:

Commandline client for exercism.io, a free service providing mentored learning for programming languages.

gotypist 0.0.0-0.03f8618
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://github.com/KappaDistributive/gotypist
Licenses: Expat
Synopsis: Simple typing trainer for text terminals
Description:

Gotypist is a simple typing tutor for text terminals, similar to gtypist but with no instruction. Hence it's best suited for people who already know how to touch type and wish to improve their typing accuracy and/or speed.

You can provide your own lesson text, choose from the included samples, or ask gotypist to construct a random lesson from a fixed list of the most frequently used words in American English.

klavaro 3.14
Dependencies: cairo@1.18.4 curl@8.6.0 gtk+@3.24.51 gtkdatabox@1.0.0 pango@1.54.0
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://klavaro.sourceforge.io/en/index.html
Licenses: GPL 3+
Synopsis: Touch typing tutor
Description:

Klavaro is a simple tutor to teach correct typing, almost independently of language and very flexible regarding to new or unknown keyboard layouts.

tuxmath 2.0.3
Dependencies: librsvg@2.58.5 libxml2@2.14.6 sdl-union@1.2.68 t4k-common@0.1.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://github.com/tux4kids/tuxmath
Licenses: GPL 3+
Synopsis: Educational math tutorial game
Description:

Tux, of Math Command is an educational math tutorial game starring Tux, the Linux penguin, in which you play the part of Commander Tux, as he defends his friends from an attack of math equations. Comets are crashing towards the friendly penguins in their igloos, and you must destroy the comets by solving their equations.

TuxMath also includes Factoroids, a game that gives practice in factoring numbers and simplifying fractions, as well as zapping rocks floating through space.

libeb 4.4.3
Dependencies: zlib@1.3.1
Channel: guix
Location: gnu/packages/education.scm (gnu packages education)
Home page: https://sra.co.jp/
Licenses: Modified BSD
Synopsis: C library for accessing Japanese CD-ROM books
Description:

The EB library is a library for accessing CD-ROM books, which are a common way to distribute electronic dictionaries in Japan. It supports the EB, EBG, EBXA, EBXA-C, S-EBXA and EPWING formats.

efitools 1.9.2
Dependencies: gnu-efi@3.0.18 openssl@3.0.8
Channel: guix
Location: gnu/packages/efi.scm (gnu packages efi)
Home page: https://blog.hansenpartnership.com/efitools-1-4-with-linux-key-manipulation-utilities-released/
Licenses: GPL 2 LGPL 2.1
Synopsis: EFI tools (key management, variable management)
Description:

This package provides EFI tools for EFI key management and EFI variable management.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296
Total results: 31092