haskellPackages

Aeson helper func

Injecting fields into aeson values

Aeson instances for iproute types

Integration layer for "json-ast" and "aeson"

Lens of Aeson

Declarative JSON matchers

Provide a handy way for derving ToJSON proprely

Fast JSON parsing and encoding (deprecated)

Law-abiding optics for aeson

Options to derive FromJSON/ToJSON instances

Alternative JSON parser based on Parsec and Aeson

Tiny library to get fields from JSON format

Possible values for aeson

Hiearchical prefixing for aeson

JSON pretty-printing library and command-line tool

JSON quasiquoter for Haskell

Quick JSON extractions with Aeson

API Result for aeson

Haskell JSON schema validator and parser generator

Easily consume JSON data on-demand with type-safety

Simple serialization functions for aeson types

Conveniently wrap a single value in a record when encoding to and from JSON

Smart derivation of Aeson instances

An HTTP client library for JSON-based APIs

Transform JSON

Aeson instances for the Tiled map editor

A generalization of Aeson over Failure

Generate TypeScript definition files from your ADTs

Aliases to "aeson" AST making it importable unqualified

Utilities for working with Aeson

API for parsing "aeson" JSON tree into Haskell types

Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses

Library providing JSON parser that warns about unexpected fields in objects

WithXField combinators for aeson

Handle JSON that may or may not be a list, or exist

Output any Aeson value as YAML (pure Haskell library)

Mapping between Aeson's JSON and Bson objects

A simple Game Engine using SDL

Affine spaces (generalized)

General-purpose sampling

A simply way to extend numerical types to add infinity

Anti-forensic Information Splitter

Arrowized functional state machines

Infinite state model checking of iterative C programs

Attribute Grammar picture generation

Generator-generator for QuickCheck

A dependently typed functional programming language and proof assistant

Command-line program for type-checking and compiling Agda programs

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

Http server for Agda (prototype)

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

Literate Agda support using agda-snippets, for Hakyll pages

Check for unused code in an Agda project

Compiling Agda code to readable Haskell

Translate .agda files into .lagda.tex files

Agda backend to generate training data for machine learning purposes

AgentX protocol for write SNMP subagents

A library for writing AGI scripts for Asterisk

Idiomatic data structure for agreement

Unification and Matching in an Abelian Group

Aho-Corasick string matching algorithm

And-inverter graphs in Haskell

Aeronautical Information Package (AIP)

Version of AIP documents

Air

Air-extra

Air spec helper

Air

An Airbrake notifier for Haskell

Automatically generate a GraphQL API for an SQLite database

A Webmachine-inspired HTTP library

Requesting and introspecting Tables within an Airtable project

A multi-method simulation library

Nested discrete event simulation module for the Aivika library

Parallel distributed discrete event simulation module for the Aivika library

Simulation experiments for the Aivika library

Cairo-based charting backend for the Aivika simulation library

Simulation experiments with charting for the Aivika library

Diagrams-based charting backend for the Aivika simulation library

GPSS-like DSL for Aivika

Nested discrete event simulation module for the Aivika library using lattice

Soft real-time simulation module for the Aivika library

Transformers for the Aivika simulation library

Haskell compiler that produce binary through C language

OpenAL 1.1 raw API

Find the minimal subset/submap satisfying some property

Wake up and perform an action at a certain time

A diceware passphrase generator

Bindings to the alerta REST API

Alert messages for web applications

Alex is a tool for generating lexical analysers in Haskell

Alex is a tool for generating lexical analysers in Haskell

Quasi-quoter for Alex lexers

Collection of useful functions for writing console applications

A set of functions for a common use case of Alex

Utility library for Alfred version 2

Fast Aho-Corasick string searching

Algebraic structures

Algorithmic automation for various DAWs

Constructive abstract algebra