development

Arbitrary precision real interval arithmetic

Arbitrary precision real interval arithmetic

Arbitrary precision real interval arithmetic

Polynomial function enclosures (PFEs) approximating exact real functions

GL plotting of polynomial function enclosures (PFEs)

Generic operations for real functions

Multi-variate real function optimisation and proving

Multi-precision ball (interval) arithmetic

Real numbers as convergent sequences of intervals

Fast AES encryption/decryption for bytestrings

Fast JSON parsing and encoding

Fast JSON parsing and encoding

Fast JSON parsing and encoding

Make To/From JSOn instances from an applicative description

Embed an Attoparsec text parser into an Aeson parser

Better error messages when decoding JSON values

Mapping between Aeson's JSON and Bson objects

Tools to change the formatting of field names in Aeson instances

Initial project template from stack

Aeson combinators for dead simple JSON decoding

Parse Aeson data with commitment

Compatibility layer for aeson

Easy functions for converting from Aeson

Apply default value to FromJSON instacnes' Maybe fields

JSON encoding/decoding for dependent-sum

Data types for compositional, type-directed serialization

Extract and apply patches to JSON documents

Apply a json-patch to any haskell datatype

Extra goodies for aeson

Several newtypes and combinators for dealing with less-than-cleanly JSON input

Tools for creating flat JSON serializations

JSON flatten for Aeson

Create Flow or TypeScript type definitions from Haskell data types

Derivation of Aeson instances for GADTs

Compatible generic class names of Aeson

Generates TypeScript definitions that match Generic Aeson encodings

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

A dependently typed functional programming language and proof assistant

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)