10952 matching packages found. Page 1 of 110.

< PrevNext >
ArchRepositoryNameVersionDescriptionLast Updated
x86_64communityxmobar0.33-21Minimalistic Text Based Status Bar2020-03-29
x86_64communitytaskell1.9.2.0-65A command-line kanban board/task manager2020-03-29
x86_64communitytamarin-prover1.4.1-311The Tamarin prover for security protocol analysis2020-03-29
x86_64communitystylish-haskell0.11.0.0-13Haskell code prettifier2020-03-29
x86_64communitystack2.1.3.20200310-32The Haskell Tool Stack2020-03-29
x86_64communityshellcheck0.7.0-203Shell script analysis tool2020-03-29
x86_64communitypostgrest6.0.2-110REST API for any Postgres database2020-03-29
anycommunitypython-tqdm4.44.0-1Fast, Extensible Progress Meter2020-03-29
x86_64multilibwine-staging5.5-1A compatibility layer for running Windows programs - Staging branch2020-03-29
x86_64communitypandoc-crossref0.3.6.2-54Pandoc filter for cross-references2020-03-29
x86_64communityhaskell-hakyll4.13.2.0-33A static website compiler library2020-03-29
x86_64communitypandoc-citeproc0.17-57Supports using pandoc with citeproc2020-03-29
anycommunitypython-lark-parser0.8.3-1A modern parsing library2020-03-29
anycommunitypython-sybil1.3.0-1Automated testing for the examples in your documentation.2020-03-29
x86_64extraperl-tk804.035-1A graphical user interface toolkit for Perl2020-03-29
x86_64communitylsp-plugins1.1.15-1Collection of free plugins compatible with LADSPA, LV2 and LinuxVST2020-03-29
x86_64communitypandoc2.9.2-76Conversion between markup formats2020-03-29
anycommunitymkinitcpio-systemd-tool26-1Provisioning tool for systemd in initramfs (systemd-tool)2020-03-29
x86_64communityidris1.3.2-108Functional Programming Language with Dependent Types2020-03-29
x86_64communityhopenpgp-tools0.23.1-7hOpenPGP-based command-line tools2020-03-29
x86_64communityhoogle5.0.17.15-21Haskell API Search2020-03-29
x86_64communitycryptol2.8.0-90The Language of Cryptography2020-03-29
anycommunitycura-resources-materials4.5.0-1Missing materials resources for Cura2020-03-29
anycommunitycura-binary-data4.5.0-1Binary data (firmwares and such) for cura2020-03-29
x86_64communityhaskell-sbv8.6-52SMT Based Verification: Symbolic Haskell theorem prover using SMT solving2020-03-29
x86_64communityhaskell-ipynb0.1-163Data structure for working with Jupyter notebooks (ipynb)2020-03-29
x86_64communityhaskell-aeson-diff1.1.0.8-81Extract and apply patches to JSON documents2020-03-29
x86_64communityhlint2.2.11-33Source code suggestions2020-03-29
x86_64communityhledger-web1.17.1-9Web interface for the hledger accounting tool2020-03-29
x86_64communityhledger-ui1.17.1.1-6Curses-style user interface for the hledger accounting tool2020-03-29
x86_64communityhledger1.17.1.1-4Command-line interface for the hledger accounting tool2020-03-29
anycommunitycura4.5.0-1A software solution for 3D printing aimed at RepRaps and the Ultimaker.2020-03-29
x86_64communitygit-annex8.20200309-34Manage files with git, without checking their contents into git2020-03-29
anycommunityuranium4.5.0-1A Python framework for building Desktop applications.2020-03-29
x86_64communityhaskell-yesod-static1.6.0.1-347Static file serving subsite for Yesod Web Framework.2020-03-29
x86_64communityhaskell-yesod-test1.6.9-106Integration testing for WAI/Yesod Applications2020-03-29
x86_64communityhaskell-yesod-auth1.6.10-4Authentication for Yesod.2020-03-29
x86_64communityhaskell-yesod1.6.0.1-66Creation of type-safe, RESTful web applications.2020-03-29
x86_64communityhaskell-yesod-form1.6.7-145Form handling support for Yesod Web Framework2020-03-29
x86_64communityhaskell-yesod-persistent1.6.0.4-90Some helpers for using Persistent from Yesod.2020-03-29
x86_64communityhaskell-yesod-default1.2.0-707Default config and main functions for your yesod application (deprecated)2020-03-29
x86_64communityhaskell-yesod-core1.6.17.3-24Creation of type-safe, RESTful web applications.2020-03-29
x86_64communityhaskell-pantry0.4.0.1-12Content addressable Haskell package management2020-03-29
x86_64communityhaskell-optparse-simple0.1.1.2-160Simple interface to optparse-applicative2020-03-29
x86_64communityhaskell-mustache2.3.1-71A mustache template parser library.2020-03-29
x86_64communityhaskell-githash0.1.3.3-83Some handy Template Haskell splices for including the current git hash and branch in the code of your project2020-03-29
x86_64communityhaskell-hpack0.33.0-96A modern format for Haskell packages2020-03-29
x86_64communitydhall-json1.6.2-27Convert between Dhall and JSON or YAML2020-03-29
x86_64communityhaskell-aeson-yaml1.0.6.0-14Output any Aeson value as YAML (pure Haskell library)2020-03-29
x86_64communitycgrep6.6.32-13A context-aware grep for source codes2020-03-29
x86_64communityhaskell-yaml0.11.3.0-9Support for parsing and rendering YAML documents.2020-03-29
x86_64communityhaskell-cheapskate0.1.1.2-56Experimental markdown processor.2020-03-29
x86_64communityhaskell-xss-sanitize0.3.6-98sanitize untrusted HTML to prevent XSS attacks2020-03-29
x86_64communityhaskell-dav1.3.4-68RFC 4918 WebDAV support2020-03-29
x86_64communityhaskell-xml-hamlet0.5.0.1-68Hamlet-style quasiquoter for XML content2020-03-29
x86_64communityhaskell-tagstream-conduit0.5.5.3-344Streamlined html tag parser2020-03-29
x86_64communityhaskell-authenticate1.3.5-87Authentication methods for Haskell web applications.2020-03-29
x86_64communityhaskell-html-conduit1.3.2.1-55Parse HTML documents using xml-conduit datatypes2020-03-29
x86_64communityhaskell-gi0.23.0-8Generate Haskell bindings for GObject Introspection capable libraries2020-03-29
x86_64communityhaskell-feed1.3.0.1-2Interfacing with RSS (v 0.9x, 2.x, 1.0) + Atom feeds.2020-03-29
x86_64communityhaskell-fdo-notify0.3.1-270Desktop Notifications client2020-03-29
x86_64communityhaskell-dbus-hslogger0.1.0.1-17Expose a dbus server to control hslogger2020-03-29
x86_64communityhaskell-dbus1.2.11-2A client library for the D-Bus IPC system2020-03-29
x86_64communityhaskell-aws0.22-19Amazon Web Services (AWS) for Haskell2020-03-29
x86_64communityhaskell-xml-conduit1.9.0.0-5Pure-Haskell utilities for dealing with XML with the conduit package.2020-03-29
x86_64communityhaskell-xcffib0.9.0-23A cffi-based python binding for X2020-03-29
x86_64communityhaskell-wreq0.5.3.2-171An easy-to-use HTTP client library.2020-03-29
x86_64communityhaskell-wai-websockets3.0.1.2-129Provide a bridge between WAI and the websockets package.2020-03-29
x86_64communityhaskell-websockets0.12.7.0-18A sensible and clean way to write WebSocket-capable servers in Haskell.2020-03-29
x86_64communityhaskell-http-download0.2.0.0-23Verified downloads with retries2020-03-29
x86_64communityhaskell-casa-client0.0.1-8Content Addressable Storage Archive client2020-03-29
x86_64communityhaskell-http-conduit2.3.7.3-100HTTP client package with conduit interface and HTTPS support2020-03-29
x86_64communityhaskell-warp-tls3.2.11-50HTTP over TLS support for Warp via the TLS package2020-03-29
x86_64communityhaskell-wai-handler-launch3.0.3.1-31Launch a web app in the default browser.2020-03-29
x86_64communityhaskell-servant-server0.17-15A family of combinators for defining webservices APIs and serving them2020-03-29
x86_64communityhaskell-wai-app-static3.1.7.1-62WAI application for static serving2020-03-29
x86_64communitydhall-bash1.0.28-28Compile Dhall to Bash2020-03-29
x86_64communitydhall1.30.0-26A configuration language guaranteed to terminate2020-03-29
x86_64communitycuraengine4.5.0-1Engine for processing 3D models into 3D printing instruction for Ultimaker and other GCode based 3D printers.2020-03-29
x86_64communityarcus4.5.0-1Communication library between internal components for Ultimaker software2020-03-29
x86_64extraimagemagick7.0.10.3-1An image viewing/manipulation program2020-03-29
x86_64extraimagemagick-doc7.0.10.3-1An image viewing/manipulation program (manual and API docs)2020-03-29
x86_64extrakdiagram2.6.2-1Powerful libraries for creating business diagrams2020-03-29
x86_64communityagda2.6.1-11A dependently typed functional programming language and proof assistant2020-03-29
x86_64communityhaskell-uri-encode1.5.0.5-61Unicode aware uri-encoding2020-03-29
anycommunitypython-virtualenv-clone0.5.4-1A script for cloning a non-relocatable virtualenv.2020-03-29
x86_64communityhaskell-texmath0.12.0.1-41Conversion between formats used to represent mathematics.2020-03-29
x86_64communityhaskell-http-streams0.8.7.1-68An HTTP client using io-streams2020-03-29
x86_64communityhaskell-snap-server1.1.1.1-174A web server for the Snap Framework2020-03-29
x86_64communityintellij-idea-community-edition2:2019.3.4-1IDE for Java, Groovy and other programming languages with advanced refactoring features2020-03-29
x86_64communitysh4-elf-binutils2.34-1A set of programs to assemble and manipulate binary and object files for the SuperH SH 4 (bare-metal) target2020-03-29
x86_64communitylm32-elf-gcc9.3.0-1The GNU Compiler Collection - cross compiler for LatticeMico32 (bare-metal) target2020-03-29
x86_64community-testingaws-sdk-cpp1.7.306-1AWS SDK for C++2020-03-29
anycommunitytinyprog1.0.23-1TinyFPGA CLI Programmer2020-03-29
anycommunitypython-jsonmerge1.7.0-1Merge a series of JSON documents2020-03-29
anycommunitypython-intelhex2.2.1-2Python library for Intel HEX files manipulations2020-03-29
anycommunitylm32-elf-newlib3.3.0-1A C standard library implementation intended for use on embedded systems (LatticeMico32 bare metal)2020-03-29
anycommunitywaf2.0.20-1General-purpose build system modelled after Scons2020-03-29
x86_64extraxfce4-screensaver0.1.9-3Xfce Screensaver2020-03-29
x86_64communityxtrlock2.13-1Minimal X display lock program2020-03-29

10952 matching packages found. Page 1 of 110.

< PrevNext >

Can't find what you are looking for? Try searching again using different criteria, or try searching the AUR to see if the package can be found there.

You are browsing the Arch Linux package database. From here you can find detailed information about packages located in the official supported repositories.

You can submit translations of packages' description on Transifex. Feel free to volunteer your time!