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

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.


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.

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.

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.

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.

lua5.2-clingo 5.8.0
Dependencies: clingo@5.8.0 lua@5.2.4
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Lua bindings for clingo
Description:

This package provides Lua bindings to the clingo package, making it so that you can write ASPs through Lua code.

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-clingexplaid 1.3.3
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingo-explaid
Licenses: Expat
Synopsis: Develop explanation systems with Clingo
Description:

This package provides tools to develop explanation systems with clingo. It allows extracting minimal unsatisfiable subsets and unsatisfiable constraints.

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.

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.

apcupsd 3.14.14
Dependencies: libusb@1.0.25 libusb-compat@0.1.8
Channel: guix
Location: gnu/packages/power.scm (gnu packages power)
Home page: http://www.apcupsd.org
Licenses: GPL 2
Synopsis: Daemon for controlling APC UPSes
Description:

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.

trueprint 5.4
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://www.gnu.org/software/trueprint/
Licenses: GPL 2
Synopsis: Pretty-print C sources and other plain text to PostScript
Description:

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 10.2.1
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://fmt.dev
Licenses: FreeBSD Modified BSD Python Software Foundation License
Synopsis: Small and fast C++ formatting library
Description:

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 9.1.0
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://fmt.dev
Licenses: FreeBSD Modified BSD Python Software Foundation License
Synopsis: Small and fast C++ formatting library
Description:

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 11.2.0
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://fmt.dev
Licenses: FreeBSD Modified BSD Python Software Foundation License
Synopsis: Small and fast C++ formatting library
Description:

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 2.21
Dependencies: qtbase@6.9.2
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: http://andre-simon.de/doku/ansifilter/en/ansifilter.html
Licenses: GPL 3+
Synopsis: ANSI sequence filter
Description:

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

fmt 8.1.1
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://fmt.dev
Licenses: FreeBSD Modified BSD Python Software Foundation License
Synopsis: Small and fast C++ formatting library
Description:

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.

highlight 4.11
Dependencies: lua@5.3.5 boost@1.89.0 perl@5.36.0 qtbase@5.15.17
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: http://www.andre-simon.de/doku/highlight/en/highlight.html
Licenses: GPL 3+
Synopsis: Convert code to documents with syntax highlighting
Description:

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.

enscript 1.6.6
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://www.gnu.org/software/enscript/
Licenses: GPL 3+
Synopsis: Generating PostScript, including pretty-printing
Description:

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.

a2ps 4.15.7
Dependencies: file@5.46 gv@3.7.4 libgc@8.2.8 libpaper@2.0.0 psutils@2.09
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://www.gnu.org/software/a2ps/
Licenses: GPL 3+
Synopsis: Any file to PostScript, including pretty-printing
Description:

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.

source-highlight 3.1.9
Dependencies: boost@1.83.0
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://www.gnu.org/software/src-highlite/
Licenses: GPL 3+
Synopsis: Produce a document with syntax highlighting from a source file
Description:

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 9.1.0
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://fmt.dev
Licenses: FreeBSD Modified BSD Python Software Foundation License
Synopsis: Small and fast C++ formatting library
Description:

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.

ptouch-print 1.6
Channel: guix
Location: gnu/packages/printers.scm (gnu packages printers)
Home page: https://dominic.familie-radermacher.ch/projekte/ptouch-print/
Licenses: GPL 3
Synopsis: CLI tool to print labels on Brother P-Touch printers
Description:

This package provides the command line tool ptouch-print to print labels on Brother P-Touch printers. It also contains udev rules for non-root access for the known P-Touch printers. This does not require CUPS to work as the printer is accessed directly via libusb.

ipp-usb 0.9.28
Dependencies: avahi@0.8 libusb@1.0.25
Channel: guix
Location: gnu/packages/printers.scm (gnu packages printers)
Home page: https://github.com/OpenPrinting/ipp-usb
Licenses: FreeBSD
Synopsis: HTTP reverse proxy, backed by the IPP-over-USB connection
Description:

ipp-usb implements an HTTP reverse proxy, backed by the IPP-over-USB connection to the device. This is because IPP-over-USB implementations which simply relay a TCP connection to USB do not work.

robocut 1.0.11
Dependencies: libusb@1.0.25 qtbase@5.15.17 qtsvg@5.15.17
Channel: guix
Location: gnu/packages/printers.scm (gnu packages printers)
Home page: http://robocut.org
Licenses: GPL 3+
Synopsis: Graphical program to drive plotting cutters
Description:

Robocut is a simple graphical program that allows you to cut graphics with Graphtec and Sihouette plotting cutters using an SVG file as its input.

Page: 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844
Total results: 68249