Arch Linux 64-bit Packages

haskell-what4 1.5.1-56 x86_64 (%2025/%04/%04 %13:%Apr)Solver-agnostic symbolic values support for issuing queries

haskell-versions 6.0.5-1 x86_64 (%2025/%04/%04 %13:%Apr)Types and parsers for software version numbers

cryptol 3.1.0-30 x86_64 (%2025/%04/%04 %13:%Apr)The Language of Cryptography

hledger-ui 1.32.1-123 x86_64 (%2025/%04/%04 %13:%Apr)Curses-style terminal interface for the hledger accounting system

idris 1.3.4-276 x86_64 (%2025/%04/%04 %13:%Apr)Functional Programming Language with Dependent Types

haskell-sandwich 0.1.5.2-40 x86_64 (%2025/%04/%04 %13:%Apr)Yet another test framework for Haskell

hledger-iadd 1.3.20-88 x86_64 (%2025/%04/%04 %13:%Apr)A terminal UI as drop-in replacement for hledger add

haskell-brick 1.8-1 x86_64 (%2025/%04/%04 %13:%Apr)A declarative terminal user interface library

haskell-fsnotify 0.4.1.0-40 x86_64 (%2025/%04/%04 %13:%Apr)Cross platform library for file change notification.

haskell-hakyll 4.16.1.0-73 x86_64 (%2025/%04/%04 %13:%Apr)A static website compiler library

xmonad-dbus 0.1.0.2-102 x86_64 (%2025/%04/%04 %12:%Apr)XMonad DBus monitor application and library to easily connect XMonad with Polybar

xmonad-extras 0.17.2-43 x86_64 (%2025/%04/%04 %12:%Apr)Third party extensions for xmonad with wacky dependencies

xmonad 0.18.0-42 x86_64 (%2025/%04/%04 %12:%Apr)Lightweight X11 tiled window manager written in Haskell

xmonad-contrib 0.18.1-27 x86_64 (%2025/%04/%04 %12:%Apr)Community-maintained extensions for xmonad

taffybar 4.0.3-45 x86_64 (%2025/%04/%04 %12:%Apr)A desktop bar similar to xmobar, but with more GUI

tamarin-prover 1.10.0-43 x86_64 (%2025/%04/%04 %12:%Apr)The Tamarin prover for security protocol analysis

xmobar 0.49-5 x86_64 (%2025/%04/%04 %12:%Apr)Minimalistic Text Based Status Bar

stack 2.9.1-117 x86_64 (%2025/%04/%04 %12:%Apr)The Haskell Tool Stack

stylish-haskell 0.14.4.0-3 x86_64 (%2025/%04/%04 %12:%Apr)Haskell code prettifier

pandoc-plot 1.9.1-37 x86_64 (%2025/%04/%04 %12:%Apr)A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice.

postgrest 10.0.0-315 x86_64 (%2025/%04/%04 %12:%Apr)REST API for any Postgres database

shellcheck 0.10.0-38 x86_64 (%2025/%04/%04 %12:%Apr)Shell script analysis tool

pandoc-cli 3.1.12.1-32 x86_64 (%2025/%04/%04 %12:%Apr)Conversion between documentation formats

pandoc-crossref 0.3.18.2-11 x86_64 (%2025/%04/%04 %12:%Apr)Pandoc filter for cross-references

mighttpd2 4.0.3-185 x86_64 (%2025/%04/%04 %12:%Apr)High performance web server on WAI/warp

kmonad 0.4.3-30 x86_64 (%2025/%04/%04 %12:%Apr)Advanced keyboard remapping utility

hslua-cli 1.4.1-78 x86_64 (%2025/%04/%04 %12:%Apr)Command-line interface for Lua

ihaskell 0.10.4.0-134 x86_64 (%2025/%04/%04 %12:%Apr)A Haskell backend kernel for the Jupyter project.

hoogle 5.0.18.4-85 x86_64 (%2025/%04/%04 %12:%Apr)Haskell API Search

hopenpgp-tools 0.23.7-282 x86_64 (%2025/%04/%04 %12:%Apr)hOpenPGP-based command-line tools

hledger-web 1.32.1-145 x86_64 (%2025/%04/%04 %12:%Apr)Web-based user interface for the hledger accounting system

hlint 3.5-3 x86_64 (%2025/%04/%04 %12:%Apr)Source code suggestions

hledger 1.32.1-111 x86_64 (%2025/%04/%04 %12:%Apr)Command-line interface for the hledger accounting system

hindent 5.3.4-189 x86_64 (%2025/%04/%04 %12:%Apr)Extensible Haskell pretty printer

haskell-zinza 0.2-210 x86_64 (%2025/%04/%04 %12:%Apr)Typed templates with jinja like syntax

hedgewars 1.0.2-131 x86_64 (%2025/%04/%04 %12:%Apr)Turn-based strategy artillery game similiar to Worms

haskell-yesod-test 1.6.16-120 x86_64 (%2025/%04/%04 %12:%Apr)Integration testing for WAI/Yesod Applications

haskell-yi-rope 0.11-19 x86_64 (%2025/%04/%04 %12:%Apr)A rope data structure used by Yi

haskell-yesod-static 1.6.1.0-788 x86_64 (%2025/%04/%04 %12:%Apr)Static file serving subsite for Yesod Web Framework.

haskell-yesod-form 1.7.6-150 x86_64 (%2025/%04/%04 %12:%Apr)Form handling support for Yesod Web Framework

haskell-yesod-persistent 1.6.0.8-336 x86_64 (%2025/%04/%04 %12:%Apr)Some helpers for using Persistent from Yesod.

haskell-yesod 1.6.2.1-274 x86_64 (%2025/%04/%04 %12:%Apr)Creation of type-safe, RESTful web applications.

haskell-yesod-auth 1.6.11.3-81 x86_64 (%2025/%04/%04 %12:%Apr)Authentication for Yesod.

haskell-yesod-core 1.6.26.0-56 x86_64 (%2025/%04/%04 %12:%Apr)Creation of type-safe, RESTful web applications.

haskell-xml-hamlet 0.5.0.2-234 x86_64 (%2025/%04/%04 %12:%Apr)Hamlet-style quasiquoter for XML content

haskell-yaml 0.11.11.2-88 x86_64 (%2025/%04/%04 %12:%Apr)Support for parsing and rendering YAML documents.

haskell-xcffib 1.4.0-72 x86_64 (%2025/%04/%04 %12:%Apr)A cffi-based python binding for X

haskell-xdg-desktop-entry 0.1.1.2-34 x86_64 (%2025/%04/%04 %12:%Apr)Parse files conforming to the xdg desktop entry spec

haskell-xml-conduit 1.9.1.4-24 x86_64 (%2025/%04/%04 %12:%Apr)Pure-Haskell utilities for dealing with XML with the conduit package.

haskell-wreq 0.5.4.3-65 x86_64 (%2025/%04/%04 %12:%Apr)An easy-to-use HTTP client library.