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.
This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.
This library implements the SHA suite of message digest functions, according to NIST FIPS 180-2 (with the SHA-224 addendum), as well as the SHA-based HMAC routines. The functions have been tested against most of the NIST and RFC test vectors for the various functions. While some attention has been paid to performance, these do not presently reach the speed of well-tuned libraries, like OpenSSL.
This is a package somewhat like cdeps which scans .chs files for dependencies.
The Haskell Common Architecture for Building Applications and Libraries: a framework defining a common interface for authors to more easily build their Haskell applications in a portable way. . The Haskell Cabal is part of a larger infrastructure for distributing, organizing, and cataloging Haskell libraries and tools.
Please see the README on Github at <https://github.com/IvanMalison/gtk-strut#readme>
Please see the README on Github at <https://github.com/IvanMalison/gtk-sni-tray#readme>
Bindings for xlib, autogenerated by haskell-gi.
As of 2023, this library is largely obsolete: arbitrary test generators with shrinking such as [falsify](https://hackage.haskell.org/package/falsify) offer much better user experience. . SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.
Time, clocks and calendars.
Bindings for GdkPixbuf, autogenerated by haskell-gi.
C-structs lets you create correct C structs in Haskell. These can be used for FFI calls, import as well as exports. This package is part of the development efforts for the Python library Pythas. Pythas provides an interface to import Haskell modules. . Note: As of GHC 9.2 structs cannot be passed by value, only by reference.
This package provides various primitive memory-related operations.
A simple and modern GTK e-book reader
Self-hosted manga server with web reader. Features: - Metadata scraping from Anilist and MangaDex - OPDS feed support for ebook readers - Komga-compatible API endpoints - CBZ/ZIP/RAR archive support - Progress tracking across devices
Simple X selection printer. Prints the X selection to stdout. Useful for scripts where you can query the X selection without pressing mouse Button2 in cumbersome ways.
FFmpeg is a complete, cross-platform solution to record, convert and stream audio and video. It includes the libavcodec audio/video codec library.
GPAC is an open-source multimedia framework focused on modularity and standards compliance. GPAC provides tools to process, inspect, package, stream, playback and interact with media content. Such content can be any combination of audio, video, subtitles, metadata, scalable graphics, encrypted media, 2D/3D graphics and ECMAScript. GPAC is best-known for its wide MP4/ISOBMFF capabilities and is popular among video enthusiasts, academic researchers, standardization bodies, and professional broadcasters.
An open-source VVC encoder licensed under 3-clause BSD.
VVdeC, the Fraunhofer Versatile Video Decoder, is a fast software H.266/VVC decoder implementation supporting all features of the VVC Main10 profile.
VVdeC, the Fraunhofer Versatile Video Decoder, is a fast software H.266/VVC decoder implementation supporting all features of the VVC Main10 profile.
VVenC is a fast, efficient, multithreaded VVC (H.266) encoder.
ReadyMedia (formerly known as MiniDLNA) is a simple media server that serves multimedia content to compatible clients on the network. It aims to be fully compliant with DLNA and UPnP-AV standards.
ADB is a versatile command-line tool that lets you communicate with a device. The adb command facilitates a variety of device actions, such as installing and debugging apps, and it provides access to a Unix shell that you can use to run a variety of commands on a device. This package includes the official Google prebuilt binaries patched to work on Guix.
Included tools:
adb - Android Debug Bridge for device communication
fastboot - Tool for flashing system images
mke2fs - Create ext2/ext3/ext4 filesystems
e2fsdroid - Build an ext2/ext3/ext4 filesystem from a directory
make_f2fs - Create F2FS filesystems
It supports highlighting, goal listing, type-context, refinement, auto, solving, case splitting, go-to definition, normalization, and helper functions. These are exposed via vim commands. Most commands have an equivalent in agda-mode.