@hackage base dependents

@hackage/affection

A simple Game Engine using SDL

@hackage/affine

Affine spaces (generalized)

@hackage/affine-invariant-ensemble-mcmc

General-purpose sampling

@hackage/affinely-extended

@hackage/afis

Anti-forensic Information Splitter

@hackage/aftovolio

An AFTOVolio implementation for creating texts with special phonetic / prosodic properties.

@hackage/afv

Infinite state model checking of iterative C programs.

@hackage/ag-pictgen

Attribute Grammar picture generation

@hackage/agda-language-server

An implementation of language server protocal (LSP) for Agda 2.

@hackage/agda-server

Http server for Agda (prototype)

@hackage/agda-snippets

Render just the Agda snippets of a literate Agda file to HTML

@hackage/agda-snippets-hakyll

Literate Agda support using agda-snippets, for Hakyll pages.

@hackage/agda-unused

Check for unused code in an Agda project.

@hackage/agda2hs

Compiling Agda code to readable Haskell.

@hackage/agda2lagda

Translate .agda files into .lagda.tex files.

@hackage/agda2train

Agda backend to generate training data for machine learning purposes.

@hackage/age

Actually Good Encryption

@hackage/agentx

AgentX protocol for write SNMP subagents

@hackage/agreeing

Idiomatic data structure for agreement

@hackage/agum

Unification and Matching in an Abelian Group

@hackage/aig

And-inverter graphs in Haskell.

@hackage/aip

Aeronautical Information Package (AIP)

@hackage/aip-version

Version of AIP documents

@hackage/air

air

@hackage/air-extra

air-extra

@hackage/air-spec

air spec helper

@hackage/air-th

air

@hackage/airbrake

An Airbrake notifier for Haskell

@hackage/airgql

Automatically generate a GraphQL API for an SQLite database

@hackage/airship

A Webmachine-inspired HTTP library