@hackage regex-tdfa dependents

@hackage/Agda

A dependently typed functional programming language and proof assistant

@hackage/ConsoleAsk

Simple CLI user input library

@hackage/HMock

A flexible mock framework for testing effectful code.

@hackage/HarmTrace

Harmony Analysis and Retrieval of Music

@hackage/Hastructure

Cashflow modeling library for structured finance

@hackage/Hish

@hackage/Hoed

Lightweight algorithmic debugging.

@hackage/PageIO

Page-oriented extraction and composition library

@hackage/Plural

Pluralize English words

@hackage/PropaFP

Auto-active verification of floating-point programs

@hackage/ShellCheck

Shell script analysis tool

@hackage/Snusmumrik

E-library directory based on FUSE virtual file system.

@hackage/Unixutils

A crude interface between Haskell and Unix-like operating systems

@hackage/a-piece-of-flake

Nix flake repository for everyone

@hackage/acme-everything

Install everything.

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

@hackage/aeson-deriving

data types for compositional, type-directed serialization

@hackage/anagrep

Find strings with permutations (anagrams) that match a regular expression

@hackage/api-tools

DSL for generating API boilerplate and docs

@hackage/autonix-deps

Library for Nix expression dependency generation

@hackage/aws-sns-verify

Parse and verify AWS SNS messages

@hackage/biscuit-haskell

Library support for the Biscuit security token

@hackage/buchhaltung

Automates most of your plain text accounting data entry in ledger format.

@hackage/buildwrapper

A library and an executable that provide an easy API for a Haskell IDE

@hackage/bureaucromancy

Parse webforms & render to interactive hypertext

@hackage/cabal-debian

Create a Debianization for a Cabal package

@hackage/cabal-hoogle

generate hoogle database for cabal project and dependencies

@hackage/cake

A build-system library and driver

@cardano/cardano-cli

The Cardano command-line interface

@hackage/cgrep

Command line tool