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.
Clinguin is a graphical user interface toolkit for clingo, which allows user interfaces to be specified entirely as a logic program.
This package provides a clingo-based visualizer for graphs defined as logic programs.
asprin is a general framework for optimization in ASP, that allows for computing optimal stable models of logic programs by means of preferences. Some preference types are already predefined, but more can be added as logic programs.
clasp is an answer set solver for (extended) normal and disjunctive logic programs. The primary algorithm of clasp relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).
This package provides Lua bindings to the clingo package, making it so that you can write ASPs through Lua code.
Clingo-DL is an extension to Clingo that models constraints over difference logic.
This package provides Python bindings to the clingo package, making it so that you can write ASPs through Python code.
Clingcon is an answer set solver for constraint logic It extends Clingo with constraint solving capacities for constraints over finite domain integer variables, using techniques from the area of SMT, like conflict-driven learning and theory propagation.
This package provides a major mode for editing answer set programs, in particular ones that can be solved by clingo.
apcupsd can be used for power management and controlling most of APC’s UPS models. apcupsd works with most of APC’s Smart-UPS models as well as most simple signalling models such a Back-UPS, and BackUPS-Office.
The TuneD package contains a daemon that tunes system settings dynamically. It does so by monitoring the usage of several system components periodically. Based on that information components will then be put into lower or higher power saving modes to adapt to the current usage.
The TuneD package contains a daemon that tunes system settings dynamically. It does so by monitoring the usage of several system components periodically. Based on that information components will then be put into lower or higher power saving modes to adapt to the current usage.
fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.
GNU Trueprint translates C source code files as PostScript files. In addition to the basic source code output, it can also perform diff-marking, indentation counting, function and file indices and more.
fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.
GNU source-highlight reads in a source code file and produces an output file in which the keywords are highlighted in different colors to designate their syntactic role. It supports over 150 different languages and it can output to 8 different formats, including HTML, LaTeX and ODF. It can also output to ANSI color escape sequences, so that highlighted source code can be seen in a terminal.
fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.
fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.
fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.
Ansifilter handles text files containing ANSI terminal escape codes. The command sequences may be stripped or be interpreted to generate formatted output (HTML, RTF, TeX, LaTeX, BBCode, Pango).
Highlight converts source code to HTML, XHTML, RTF, LaTeX, TeX, SVG, BBCode and terminal escape sequences with colored syntax highlighting. Language definitions and color themes are customizable.
GNU Enscript is a program to convert ASCII text files to PostScript, HTML or RTF formats, to be stored in files or sent immediately to a printer. It also includes the capability to perform syntax highlighting for several different programming languages.
GNU a2ps converts almost anything to a PostScript file, ready for printing. It accomplishes this by being able to delegate files to external handlers, such as Groff and Gzip. It handles as many steps as is necessary to produce a pretty-printed file. It also includes some extra abilities for special cases, such as pretty-printing -help output.
fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.