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

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.


poedit 3.5.2
Dependencies: bash-minimal@5.2.37 boost@1.83.0 enchant@2.6.9 gettext-minimal@0.23.1 gtk+@3.24.51 gtkspell3@3.0.10 icu4c@73.1 lucene++@3.0.8 nlohmann-json@3.12.0 python-minimal@3.11.14 pugixml@1.12.1 wxwidgets@3.2.8.1
Channel: guix
Location: gnu/packages/poedit.scm (gnu packages poedit)
Home page: https://poedit.net/
Licenses: Expat
Synopsis: Gettext catalog editing tool
Description:

Poedit is a GUI frontend to the GNU gettext utilities and a catalog editor/source code parser. It helps with translating applications into other languages.

polkit-gnome 0.105
Dependencies: gtk+@3.24.51 polkit@121
Channel: guix
Location: gnu/packages/polkit.scm (gnu packages polkit)
Home page: https://www.freedesktop.org/wiki/Software/polkit/
Licenses: LGPL 2.0+
Synopsis: Legacy polkit authentication agent for GNOME
Description:

PolicyKit-gnome provides a D-Bus session bus service that is used to bring up authentication dialogs used for obtaining privileges.

polkit 121
Dependencies: duktape@2.6.0 expat@2.7.1 elogind@255.17 linux-pam@1.5.2 nspr@4.36
Propagated dependencies: glib@2.83.3
Channel: guix
Location: gnu/packages/polkit.scm (gnu packages polkit)
Home page: https://www.freedesktop.org/wiki/Software/polkit/
Licenses: LGPL 2.0+
Synopsis: Authorization API for privilege management
Description:

Polkit is an application-level toolkit for defining and handling the policy that allows unprivileged processes to speak to privileged processes. It is a framework for centralizing the decision making process with respect to granting access to privileged operations for unprivileged applications.

polkit-qt6 0.200.0
Dependencies: qtbase@6.9.2 polkit@121
Channel: guix
Location: gnu/packages/polkit.scm (gnu packages polkit)
Home page: https://api.kde.org/kdesupport-api/polkit-qt-1-apidocs/
Licenses: LGPL 2.0+
Synopsis: Qt frontend to the polkit library
Description:

Polkit-qt is a library that lets developers use the PolicyKit API through a Qt-styled API. It is mainly a wrapper around QAction and QAbstractButton that lets you integrate those two component easily with PolicyKit.

hyprpolkitagent 0.1.3
Dependencies: hyprutils@0.10.4 hyprland-qtutils@0.1.5 polkit@121 polkit-qt6@0.200.0 qtwayland@6.9.2 qtbase@6.9.2 qtdeclarative@6.9.2 libxkbcommon@1.11.0
Channel: guix
Location: gnu/packages/polkit.scm (gnu packages polkit)
Home page: https://wiki.hypr.land/Hypr-Ecosystem/hyprpolkitagent/
Licenses: Modified BSD
Synopsis: Simple polkit authentication agent for Hyprland
Description:

hyprpolkitagent is a polkit authentication daemon written in QT/QML. It is required for GUI applications to be able to request elevated privileges.

polkit-qt 0.200.0
Dependencies: qtbase@5.15.17 polkit@121
Channel: guix
Location: gnu/packages/polkit.scm (gnu packages polkit)
Home page: https://api.kde.org/kdesupport-api/polkit-qt-1-apidocs/
Licenses: LGPL 2.0+
Synopsis: Qt frontend to the polkit library
Description:

Polkit-qt is a library that lets developers use the PolicyKit API through a Qt-styled API. It is mainly a wrapper around QAction and QAbstractButton that lets you integrate those two component easily with PolicyKit.

popt 1.18
Channel: guix
Location: gnu/packages/popt.scm (gnu packages popt)
Home page: https://rpm5.org/files/popt/
Licenses: X11
Synopsis: Command line option parsing library
Description:

This is the popt(3) command line option parsing library. While it is similar to getopt(3), it contains a number of enhancements, including:

- popt is fully reentrant;

- popt can parse arbitrary argv[] style arrays while getopt(3) makes this quite difficult;

- popt allows users to alias command line arguments;

- popt provides convenience functions for parsing strings into argv[] style arrays.

gengetopt 2.23
Channel: guix
Location: gnu/packages/popt.scm (gnu packages popt)
Home page: https://www.gnu.org/software/gengetopt/gengetopt.html
Licenses: GPL 3+
Synopsis: Create parsers for command line options
Description:

GNU Gengetopt is a program to generate a C/C++ function for parsing command-line options using the getopt_long function found in GNU libc, removing some of the tedium of this task for large programs that accept many options. The options parsed by the generated function may be in both short (e.g., "-h") and long ("--help") formats, as specified by the GNU coding standards. Additionally, the output of the standard options "--help" and "--version" is generated automatically.

gflags 2.2.2
Channel: guix
Location: gnu/packages/popt.scm (gnu packages popt)
Home page: https://gflags.github.io/gflags/
Licenses: Modified BSD
Synopsis: C++ library for command-line argument parsing
Description:

Gflags is a C++ library to parse command-line flags. It differs from other such libraries in that command-line flag definitions can be scattered around the source code, and not just listed in one place such as main. This means that a single source-code file will define and use flags that are meaningful to that file. Any application that links in that file will get the flags, and the gflags library will automatically handle that flag appropriately.

argtable3 3.3.1
Channel: guix
Location: gnu/packages/popt.scm (gnu packages popt)
Home page: https://www.argtable.org/
Licenses: Modified BSD
Synopsis: Command line option parsing library
Description:

Argtable3 is an ANSI C library that simplifies parsing GNU-style command-line options. It provides a declarative API to define your command-line syntax, and because it's built on the standard getopt library, it ensures 100% GNU-compliant behavior. Argtable3 automatically generates the error-handling logic and usage descriptions that are essential for any robust command-line program, saving you from tedious boilerplate code.

pmbootstrap 3.6.0
Dependencies: bash-minimal@5.2.37 coreutils-minimal@9.1 git-minimal@2.52.0 multipath-tools@0.11.0 openssl@3.0.8 procps@4.0.3 tar@1.35 util-linux@2.40.4
Channel: guix
Location: gnu/packages/postmarketos.scm (gnu packages postmarketos)
Home page: https://gitlab.com/postmarketOS/pmbootstrap
Licenses: GPL 3+
Synopsis: Bootstrap a postmarketOS system
Description:

This package provides a sophisticated chroot, build and flash tool to develop and install postmarketOS.

clasp 3.4.0
Dependencies: libpotassco@0.0-3.2eecf5f
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Answer set solver
Description:

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).

python-clorm 1.6.1
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org
Licenses: Expat
Synopsis: Object relational mapping to clingo
Description:

Clorm provides an ORM interface to the ASP solver clingo. Its goal is to make integration of clingo into Python programs easier.

python-asprin 3.1.1-1.bc5a0cf
Dependencies: clingo@5.8.0
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Optimization in Answer Set Programming
Description:

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.

python-clingraph 1.1.2
Dependencies: dot2tex@2.11.3 graphviz@7.0.1
Propagated dependencies: python-clingo@5.8.0 python-clorm@1.6.1 python-graphviz@0.20.3 python-imageio@2.36.1 python-jinja2@3.1.2 python-jsonschema@4.23.0 python-networkx@3.4.2 python-setuptools@80.9.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingraph
Licenses: Expat
Synopsis: Visualizer for graphs defined as logic programs
Description:

This package provides a clingo-based visualizer for graphs defined as logic programs.

python-plingo 1.1.0
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Solve probabilistic logic programs
Description:

This package provides a system to solve probabilistic logic programs with clingo. It can solve the reasoning tasks of finding the most probable model as well as finding all models and their probabilities.

plasp 3.1.1
Dependencies: cxxopts@3.2.1 mapbox-variant@1.2.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: ASP planning tools for PDDL
Description:

plasp is a tool collection for planning in answer set programming. It supports a subset of PDDL 3.1 and SAS 3.

emacs-pasp-mode 0.1.0-1.59385eb
Dependencies: clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/santifa/pasp-mode
Licenses: GPL 3+
Synopsis: Major mode for editing answer set programs
Description:

This package provides a major mode for editing answer set programs, in particular ones that can be solved by clingo.

python-clinguin 2.7.1
Propagated dependencies: python-clingo@5.8.0 python-clingo-dl@1.5.0 python-clingcon@5.2.1 python-clorm@1.6.1 python-clingexplaid@1.3.3 python-clingraph@1.1.2 python-fastapi@0.115.6 python-httpx@0.28.1 python-nbconvert@7.16.6 python-nbformat@5.10.4 python-nbsphinx@0.8.8 python-networkx@3.4.2 python-pillow@11.1.0 python-pydantic@1.10.19 python@3.11.14 python-sphinx-rtd-theme@3.0.2 python-traitlets@5.14.1 python-uvicorn@0.34.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clinguin
Licenses: Expat
Synopsis: Clingo-based interactive UI
Description:

Clinguin is a graphical user interface toolkit for clingo, which allows user interfaces to be specified entirely as a logic program.

python-clingo-dl 1.5.0
Dependencies: python-wrapper@3.11.14 clingo@5.8.0
Propagated dependencies: python-clingo@5.8.0 python-cffi@1.17.1
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingo-dl
Licenses: Expat
Synopsis: Python bindings for clingo-dl
Description:

This package allows users to add the clingo-dl propagator as a theory to clingo from Python code. It also supports running clingo-dl directly from the python command line.

clingo 5.8.0
Dependencies: catch2@3.5.3 clasp@3.4.0 libpotassco@0.0-3.2eecf5f
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Grounder and solver for logic programs
Description:

Clingo computes answer sets for a given logic program.

clingcon 5.2.1
Dependencies: clingo@5.8.0 wide-integer@0-1314.22b8428
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/clingcon
Licenses: Expat
Synopsis: Constraint answer set solver
Description:

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.

python-clingox 1.2.1
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/clingo
Licenses: Expat
Synopsis: Auxiliary functions for Clingo
Description:

This package provides additional functions to go along with the Python bindings for Clingo.

libpotassco 0.0-3.2eecf5f
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Utility library for Potassco's projects
Description:

libpotassco is a utility library providing functions and datatypes for

  • parsing, writing, and converting logic programs in aspif and smodels format,

  • passing information between a grounder and a solver,

  • and defining and parsing command-line options and for creating command-line applications.

Furthermore, it comes with the tool lpconvert that converts either between aspif and smodels format or to a human-readable text format.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844
Total results: 68249