13002 matching packages found. Page 1 of 131.

< PrevNext >
ArchRepositoryNameVersionDescriptionLast Updated
x86_64extrapkgstats3.2.4-1Submit a list of installed packages to the Arch Linux project2022-08-10
x86_64communityfio3.31-1Scriptable I/O tool for storage benchmarks and drive testing2022-08-10
x86_64communitybitwarden2022.8.0-1A secure and free password manager for all of your devices2022-08-10
x86_64extratracker33.3.3-1Desktop-neutral user information store, search tool and indexer2022-08-10
x86_64extratracker3-docs3.3.3-1Desktop-neutral user information store, search tool and indexer (documentation)2022-08-10
x86_64multiliblib32-gdk-pixbuf22.42.9-1An image loading library (32-bit)2022-08-10
x86_64extrawpebackend-fdo1.12.1-1Freedesktop.org backend for WPE WebKit2022-08-10
x86_64testingnfs-utils2.6.2-1Support programs for Network File Systems2022-08-10
x86_64testingnfsidmap2.6.2-1Library to help mapping IDs, mainly for NFSv42022-08-10
x86_64communitycoq8.15.0-3Formal proof management system2022-08-10
x86_64communitycoq-doc8.15.0-3HTML and PDF documentation for the Coq proof assistant2022-08-10
x86_64communitycoqide8.15.0-3GTK-based graphical interface for the Coq proof assistant2022-08-10
x86_64communitylablgtk33.1.2-3An Objective Caml interface to gtk32022-08-10
x86_64communityocaml-cairo0.6.3-2OCaml binding to Cairo, a 2D Vector Graphics Library2022-08-10
x86_64communityocaml-stdio0.15.0-2Standard IO Library for OCaml2022-08-10
x86_64extrabrltty6.5-2Braille display driver for Linux/Unix2022-08-10
x86_64extrabrltty-udev-generic6.5-2Generic udev rules for brltty2022-08-10
x86_64extraxdg-user-dirs0.18-1Manage user directories like ~/Desktop and ~/Music2022-08-10
x86_64extralablgtk22.18.12-2An Objective Caml interface to gtk22022-08-10
x86_64communityocaml-base0.15.0-2Full standard library replacement for OCaml2022-08-10
x86_64extragnome-chess42.1-1Play the classic two-player boardgame of chess2022-08-10
x86_64extraocaml-ctypes0.20.1-1Library for binding to C libraries using pure OCaml2022-08-10
x86_64communitycamlp58.0-4A preprocessor-pretty-printer of OCaml.2022-08-10
x86_64extraocaml-integers0.7.0-1Library for binding to C libraries using pure OCaml2022-08-10
x86_64extraocaml-bigarray-compat1.0.0-3Compatibility library to use Stdlib.Bigarray when possible2022-08-10
x86_64communityocaml-sexplib00.15.1-2Library containing the definition of S-expressions and some base converters2022-08-10
x86_64testingrsync3.2.5pre2-1A fast and versatile file copying tool for remote and local files2022-08-10
x86_64communityrocksdb7.4.5-1Embedded key-value store for fast storage2022-08-10
x86_64extragdk-pixbuf22.42.9-1An image loading library2022-08-10
x86_64extragdk-pixbuf2-docs2.42.9-1An image loading library (documentation)2022-08-10
x86_64communitystack2.7.5-109The Haskell Tool Stack2022-08-10
x86_64communitydarcs2.16.5-49A distributed, interactive, smart revision control system2022-08-10
x86_64communitylibguestfs1.48.4-2Access and modify virtual machine disk images2022-08-10
x86_64communityocaml-stdlib-shims0.3.0-5Shim to substitute `Pervasives` with `Stdlib` before 4.082022-08-10
x86_64communityocaml-ppx_derivers1.2.1-9Shared deriving plugin registry2022-08-10
x86_64communitycamlp-streams5.0.1-1The Stream and Genlex libraries for use with Camlp4 and Camlp5.2022-08-10
x86_64communityhaskell-language-server1.3.0.0-243LSP server for GHC2022-08-10
anycommunitydark-reader4.9.53-1Inverts brightness of web pages and aims to reduce eyestrain while browsing the web (unpacked webextension)2022-08-10
anycommunityfirefox-dark-reader4.9.53-1Inverts brightness of web pages and aims to reduce eyestrain while browsing the web2022-08-10
anycommunitythunderbird-dark-reader4.9.53-1Inverts brightness of web pages and aims to reduce eyestrain while browsing the web2022-08-10
x86_64communityhaskell-hls-stylish-haskell-plugin1.0.0.2-207Integration with the Stylish Haskell code formatter2022-08-10
x86_64communityhaskell-hls-ormolu-plugin1.0.1.0-211Integration with the Ormolu code formatter2022-08-10
x86_64communityhaskell-hls-pragmas-plugin1.0.1.1-2Pragmas plugin for Haskell Language Server2022-08-10
x86_64communityhaskell-hls-fourmolu-plugin1.0.0.2-214Integration with the Fourmolu code formatter2022-08-10
x86_64communityhaskell-hls-eval-plugin1.1.2.0-208Eval plugin for Haskell Language Server2022-08-10
x86_64communityhaskell-hls-haddock-comments-plugin1.0.0.3-205Haddock comments plugin for Haskell Language Server2022-08-10
x86_64communityhaskell-hls-module-name-plugin1.0.0.1-205Module name plugin for Haskell Language Server2022-08-10
x86_64communityhaskell-hls-call-hierarchy-plugin1.0.1.0-4Call hierarchy plugin for Haskell Language Server2022-08-10
x86_64communityhaskell-hls-floskell-plugin1.0.0.1-207Integration with the Floskell code formatter2022-08-10
x86_64communityhaskell-hls-retrie-plugin1.0.1.1-204Retrie integration plugin for Haskell Language Server2022-08-10
x86_64communityhaskell-hls-test-utils1.1.0.0-205Utilities used in the tests of Haskell Language Server2022-08-10
x86_64communityhaskell-hls-explicit-imports-plugin1.0.1.0-204Explicit imports plugin for Haskell Language Server2022-08-10
x86_64communityhaskell-hls-hlint-plugin1.0.1.1-204Hlint integration plugin with Haskell Language Server2022-08-10
x86_64communitypostgrest9.0.1-2REST API for any Postgres database2022-08-10
x86_64communitydune3.4.1-2A composable build system for OCaml (formerly jbuilder)2022-08-10
x86_64extraocaml-topkg1.0.5-1A packager for distributing OCaml software2022-08-10
anytestingintel-ucode20220809-1Microcode update files for Intel CPUs2022-08-10
x86_64communityhaskell-ghcide1.4.2.3-12The core of an IDE2022-08-10
x86_64communityhledger-web1.26-2Web-based user interface for the hledger accounting system2022-08-10
x86_64communitygit-annex10.20220724-4Manage files with git, without checking their contents into git2022-08-10
x86_64communityhaskell-hasql-dynamic-statements0.3.1-149Toolkit for constructing Hasql statements dynamically2022-08-10
x86_64communityhaskell-hasql-notifications0.2.0.1-22LISTEN/NOTIFY support for Hasql2022-08-10
x86_64communitytamarin-prover1.6.1-189The Tamarin prover for security protocol analysis2022-08-10
x86_64communityhaskell-yesod-static1.6.1.0-481Static file serving subsite for Yesod Web Framework.2022-08-10
x86_64communityhaskell-hasql-implicits0.1.0.4-11Implicit definitions for Hasql, such as default codecs for standard types2022-08-10
x86_64communityhaskell-hasql-pool0.5.2.2-71A pool of connections for Hasql2022-08-10
x86_64communityhaskell-hasql-transaction1.0.1.1-89A composable abstraction over the retryable transactions for Hasql2022-08-10
x86_64communityhaskell-yesod1.6.2-78Creation of type-safe, RESTful web applications.2022-08-10
x86_64communityhaskell-yesod-auth1.6.10.5-60Authentication for Yesod.2022-08-10
x86_64communityhaskell-yesod-test1.6.14-24Integration testing for WAI/Yesod Applications2022-08-10
x86_64communityhaskell-hasql1.5.0.3-4An efficient PostgreSQL driver and a flexible mapping API2022-08-10
x86_64communityxmonad-contrib0.17.0-14Community-maintained extensions extensions for xmonad2022-08-10
x86_64communityarch-hs0.10.2.0-18Distribute hackage packages to archlinux2022-08-10
x86_64communityhaskell-esqueleto3.5.3.0-5Type-safe EDSL for SQL queries on persistent backends.2022-08-10
x86_64communityhaskell-hls-plugin-api1.2.0.1-6Haskell Language Server API for plugin communication2022-08-10
x86_64communityhaskell-ci0.12.1-275Cabal package script generator for Travis-CI2022-08-10
x86_64multiliblib32-cdparanoia10.2-4Compact Disc Digital Audio extraction tool2022-08-10
x86_64communityocaml-csexp1.5.1-5OCaml canonical S-expressions2022-08-10
x86_64extraocaml-result1.5-7Compatibility Result module2022-08-10
x86_64communityhivex1.3.21-7System for extracting the contents of Windows Registry.2022-08-10
x86_64communityhaskell-persistent-mysql2.13.0.1-192Backend for the persistent library using MySQL database server.2022-08-10
x86_64communityocaml-num1.4-6Library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution2022-08-10
x86_64communityhaskell-pantry0.5.6-6Content addressable Haskell package management2022-08-10
x86_64communitylibperconaserverclient8.0.29_21-1Percona Server client libraries2022-08-10
x86_64communitypercona-server8.0.29_21-1Drop-in replacement for MySQL that provides improved performance, diagnostics, instrumentation and MyRocks storage engine2022-08-10
x86_64communitypercona-server-clients8.0.29_21-1Percona Server client tools2022-08-10
x86_64communityhaskell-arch-web0.1.1-16Arch Linux official and AUR web interface binding2022-08-10
x86_64communitycabal-plan0.7.2.0-174Library and utility for processing cabal's plan.json file2022-08-10
x86_64communityhaskell-hls-graph1.4.0.0-168Haskell Language Server internal graph API2022-08-10
x86_64communityhaskell-implicit-hie-cradle0.3.0.5-141Auto generate hie-bios cradles2022-08-10
x86_64communityocaml-hashcons1.3-5OCaml hash-consing library2022-08-10
x86_64communityhaskell-hakyll4.15.1.1-93A static website compiler library2022-08-10
x86_64communityhaskell-persistent-postgresql2.13.0.3-181Backend for the persistent library using postgresql.2022-08-10
x86_64communitypandoc-crossref0.3.12.2-144Pandoc filter for cross-references2022-08-10
x86_64communityhaskell-yesod-form1.7.0-242Form handling support for Yesod Web Framework2022-08-10
x86_64communityhaskell-summoner-tui2.0.1.1-380Tool for scaffolding fully configured batteries-included production-level Haskell projects using TUI.2022-08-10
x86_64communityocaml-zarith1.12-5Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers2022-08-10
x86_64communityxmonad0.17.0-14Lightweight X11 tiled window manager written in Haskell2022-08-10
x86_64communityshellcheck0.8.0-153Shell script analysis tool2022-08-10
x86_64communityhaskell-butcher1.3.3.2-224Chops a command or program invocation into digestable pieces.2022-08-10

13002 matching packages found. Page 1 of 131.

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