7427 matching packages found. Page 1 of 75.

< PrevNext >
ArchRepositoryNameVersionDescriptionLast Updated
x86_64communitytaskell1.9.2.0-99A command-line kanban board/task manager2020-05-26
x86_64communitykio-fuse4.95.0-1FUSE interface for KIO2020-05-26
x86_64communityhledger-ui1.17.1.1-31Curses-style user interface for the hledger accounting tool2020-05-26
x86_64communityhaskell-brick0.54-1A declarative terminal user interface library2020-05-26
x86_64communityfcitx5-chinese-addons0.0.0.20200526-1Addons related to Chinese, including IME previous bundled inside fcitx42020-05-26
x86_64communitylibime0.0.0.20200526.1-1A library to support generic input method implementation2020-05-26
x86_64communityhyperfine1.10.0-1A command-line benchmarking tool2020-05-26
x86_64communityxmobar0.33-56Minimalistic Text Based Status Bar2020-05-26
x86_64communitystack2.3.1-20The Haskell Tool Stack2020-05-26
x86_64communityshellcheck0.7.1-28Shell script analysis tool2020-05-26
x86_64communitypandoc-crossref0.3.6.2-105Pandoc filter for cross-references2020-05-26
x86_64communityhaskell-hakyll4.13.3.0-34A static website compiler library2020-05-26
x86_64communitypandoc-citeproc0.17-110Supports using pandoc with citeproc2020-05-26
x86_64communitypodman1.9.3-2Tool and library for running OCI-based containers in pods2020-05-26
x86_64communitypodman-docker1.9.3-2Emulate Docker CLI using podman2020-05-26
x86_64communitycatatonit0.1.5-2A container init that is so simple it's effectively brain-dead.2020-05-26
x86_64communitypandoc2.9.2.1-49Conversion between markup formats2020-05-26
x86_64communityhoogle5.0.17.15-52Haskell API Search2020-05-26
x86_64communitycryptol2.8.0-121The Language of Cryptography2020-05-26
x86_64communityhaskell-sbv8.6-80SMT Based Verification: Symbolic Haskell theorem prover using SMT solving2020-05-26
x86_64communityhaskell-ipynb0.1.0.1-17Data structure for working with Jupyter notebooks (ipynb)2020-05-26
x86_64communityhaskell-aeson-diff1.1.0.9-7Extract and apply patches to JSON documents2020-05-26
x86_64communityhlint3.0.2-4Source code suggestions2020-05-26
x86_64communityhledger-web1.17.1-46Web interface for the hledger accounting tool2020-05-26
x86_64communityhledger1.17.1.1-23Command-line interface for the hledger accounting tool2020-05-26
x86_64communityhaskell-shake0.19-4Build system library, like Make, but more accurate dependencies.2020-05-26
x86_64communityhaskell-hledger-lib1.17.1-19Core data types, parsers and functionality for the hledger accounting tools2020-05-26
x86_64communityhaskell-ghc-lib-parser-ex8.10.0.5-3Algorithms on GHC parse trees2020-05-26
x86_64communityhaskell-filepattern0.1.2-13File path glob-like matching2020-05-26
x86_64communitygit-annex8.20200522-5Manage files with git, without checking their contents into git2020-05-26
x86_64communityhaskell-fdo-notify0.3.1-292Desktop Notifications client2020-05-26
x86_64communityhaskell-dbus-hslogger0.1.0.1-40Expose a dbus server to control hslogger2020-05-26
anycommunitypython-logilab-common1.6.4-1Useful miscellaneous modules used by Logilab projects2020-05-26
x86_64communityhaskell-dbus1.2.15.1-5A client library for the D-Bus IPC system2020-05-26
x86_64communitycgrep6.6.32-32A context-aware grep for source codes2020-05-26
x86_64communityhaskell-extra1.7.2-1Extra functions I use.2020-05-26
anycommunityv2ray-domain-list-community202005251017-1A list of domains to be used as geosites for routing purpose in Project V2020-05-26
anycommunitypython-flask-sqlalchemy2.4.2-1Adds SQLAlchemy support to your Flask application2020-05-26
x86_64communityfd8.1.1-1Simple, fast and user-friendly alternative to find2020-05-26
anycommunityperl-gtk3-simplelist0.18-1Perl interface to the Gtk3's complex MVC list widget2020-05-26
x86_64communitydeepin-draw5.8.0.19-1A lightweight drawing tool for Linux Deepin2020-05-26
x86_64communitytamarin-prover1.4.1-346The Tamarin prover for security protocol analysis2020-05-26
x86_64communitytpm2-tools4.2.1-1Trusted Platform Module 2.0 tools based on tpm2-tss2020-05-26
x86_64communitymatterbridge1.17.5-1Multi-protocols (IRC/XMPP/Mattermost/Slack/Matrix/etc) bridge2020-05-26
x86_64communitystylish-haskell0.11.0.0-25Haskell code prettifier2020-05-26
anycommunitymill0.7.3-1Your shiny new Java/Scala build tool2020-05-26
x86_64communitypython-biopython1.77-1Freely available Python tools for computational molecular biology2020-05-26
x86_64communityrecoll1.27.0-1Full text search tool based on Xapian backend2020-05-26
anycommunitypython-hacking3.1.0-1OpenStack Hacking Guideline Enforcement2020-05-26
x86_64communityrust-bindgen0.53.3-1Automatically generates Rust FFI bindings to C (and some C++) libraries2020-05-26
x86_64communityremmina1:1.4.5-1remote desktop client written in GTK+2020-05-26
x86_64communityrust-analyzer20200525-1Experimental Rust compiler front-end for IDEs2020-05-26
anycommunitypython2-docs2.7.16-1Set of HTML documentation for python.2020-05-26
x86_64communityhugo0.71.1-1Fast and Flexible Static Site Generator in Go2020-05-26
anycommunityfirefox-dark-reader4.9.9-1Inverts brightness of web pages and aims to reduce eyestrain while browsing the web2020-05-26
anycommunitygscan2pdf2.6.7-1A GUI with OCR capability to produce PDFs or DjVus from scanned documents2020-05-26
x86_64communitycoq8.11.2-1Formal proof management system2020-05-26
x86_64communitycoq-doc8.11.2-1HTML and PDF documentation for the Coq proof assistant2020-05-26
x86_64communitycoqide8.11.2-1GTK-based graphical interface for the Coq proof assistant2020-05-26
anycommunityperl-array-compare3.0.2-1Class to compare two arrays2020-05-26
anycommunitypython-requirementslib1.5.8-1A tool for converting between pip-style and pipfile requirements2020-05-26
x86_64communitypostgrest7.0.1-4REST API for any Postgres database2020-05-26
x86_64communitydbxtool8-1Tool for UEFI Secure Boot DBX updates2020-05-26
x86_64communityzsh-theme-powerlevel10k1.10.1-1Powerlevel10k is a theme for Zsh. It emphasizes speed, flexibility and out-of-the-box experience.2020-05-26
x86_64communitysimple-obfs0.0.5-3A simple obfusacting tool designed as plugin server of shadowsocks2020-05-26
x86_64communityvapoursynth-plugin-deblock6-2Deblock plugin for VapourSynth2020-05-26
x86_64communityusbview2.0-6Display the topology of devices on the USB bus2020-05-26
x86_64communityvbindiff3.0_beta5-2displays files in hexadecimal and ASCII (or EBCDIC) and highlight the differences between them2020-05-26
x86_64communityunpaper6.1-7post-processing tool for scanned sheets of paper2020-05-26
anycommunityvim-bufexplorer7.4.19-2Simple buffer list/switcher for vim2020-05-26
anycommunityvim-colorsamplerpack2012.10.28-6Different colorschemes for vim2020-05-26
x86_64communityidris1.3.3-3Functional Programming Language with Dependent Types2020-05-26
x86_64communityudevil0.4.4-4Mount and unmount without password2020-05-26
anycommunityvim-easymotion3.0.1-5Vim motion on speed2020-05-26
anycommunityttf-roboto2.138-3Google's signature family of fonts2020-05-26
anycommunityvim-surround2.1-4Provides mappings to easily delete, change, and add paired surroundings2020-05-26
x86_64communitytinyxml2.6.2-7Simple, small XML parser2020-05-26
x86_64communityhopenpgp-tools0.23.1-46hOpenPGP-based command-line tools2020-05-26
x86_64communityt1utils1.41-3A collection of simple Type 1 font manipulation programs2020-05-26
anycommunitysystemd-swap4.0.1-2Script for creating hybrid swap space from zram swaps, swap files and swap partitions.2020-05-26
anycommunityxcursor-vanilla-dmz0.4.5-2Vanilla DMZ cursor theme2020-05-26
anycommunityxcursor-vanilla-dmz-aa0.4.5-2Vanilla DMZ AA cursor theme2020-05-26
anycommunitysurfraw2.3.0-3Shell Users' Revolutionary Front Rage Against the Web2020-05-26
anycommunitybuildbot2.7.0-2The Continuous Integration Framework2020-05-26
anycommunitybuildbot-docs2.7.0-2Buildbot docs2020-05-26
anycommunitybuildbot-worker2.7.0-2Buildbot worker daemon2020-05-26
anycommunitypython-buildbot-badges2.7.0-2Buildbot badges2020-05-26
anycommunitypython-buildbot-console-view2.7.0-2Buildbot Console View plugin2020-05-26
anycommunitypython-buildbot-grid-view2.7.0-2Buildbot Grid View plugin2020-05-26
anycommunitypython-buildbot-waterfall-view2.7.0-2Buildbot Waterfall View plugin2020-05-26
anycommunitypython-buildbot-wsgi-dashboards2.7.0-2Buildbot plugin to integrate flask or bottle dashboards to buildbot UI2020-05-26
anycommunitypython-buildbot-www2.7.0-2Buildbot UI2020-05-26
x86_64communitysubtitleeditor0.54.0-5A GTK+3 tool to edit subtitles for GNU/Linux/*BSD2020-05-26
x86_64communitysplint3.1.2.git20180129-2A tool for statically checking C programs for security vulnerabilities and coding mistakes2020-05-26
x86_64communityhaskell-yesod-static1.6.0.1-381Static file serving subsite for Yesod Web Framework.2020-05-26
x86_64communityhaskell-yesod-test1.6.9-139Integration testing for WAI/Yesod Applications2020-05-26
x86_64communitysnappy-player1.0-6Powerful media player with a minimalistic interface2020-05-26
x86_64communityhaskell-yesod-auth1.6.10-38Authentication for Yesod.2020-05-26
x86_64communityzathura-cb0.1.8-2Adds comic book support to zathura2020-05-26
x86_64communityhaskell-yesod1.6.0.1-100Creation of type-safe, RESTful web applications.2020-05-26

7427 matching packages found. Page 1 of 75.

< 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!