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.
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.
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!
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.
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.
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.
Commandline client for exercism.io, a free service providing mentored learning for programming languages.
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.
Tux4Kids-Common is a library of code shared between TuxMath and TuxType.
qolibri is a dictionary viewer for the EPWING dictionary format. Most monolingual Japanese dictionaries can only be found in the EPWING format.
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.
Commandline client for exercism.io, a free service providing mentored learning for programming languages.
Mazo is a learning application that helps you memorize simple concepts using multimedia flash cards and spaced reviews.
Klavaro is a simple tutor to teach correct typing, almost independently of language and very flexible regarding to new or unknown keyboard layouts.
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.
This package provides EFI tools for EFI key management and EFI variable management.
This package provides tools for signing EFI binaries.
This package provides an EFI toolchain for building programs that can run in the environment presented by Intel's EFI.
The EFI Analyzer checks EFI binaries and prints out header and section information.
This package provides a minimal Linux loader as an UEFI program.
Sch-rnd is a standalone and workflow agnostic schematics capture tool for PCB, part of the RiNgDove EDA suite.
Route-rnd is a generic external autorouter for PCB using tEDAx file format, part of the RiNgDove EDA suite.
Coroutine based cosimulation test bench environment for verifying VHDL and Verilog RTL using Python.
Comedilib is a user-space library that provides a developer-friendly interface to Comedi devices. Comedi is a collection of drivers for a variety of common data acquisition plug-in boards. The drivers are implemented as a core Linux kernel module providing common functionality and individual low-level driver modules.
Qucs-S provides a fancy graphical user interface for a number of popular circuit simulation engines. The package contains libraries for schematic capture, visualization and components. The following simulation kernels are supported:
Ngspice (recommended)
Xyce
SpiceOpus
Qucsator (non-SPICE)