haskellPackages

Tree representations of datatypes

Type-level and typed unary natural numbers, inequality proofs, vectors

Mock functions and expressions anywhere

Automatic deriving of TypeableN instances with Template Haskell

DerivingVia Typeable counterpart to Generically

An implementation of LangChain in Haskell

Simple type check plugin which calculate addition, subtraction and less-or-equal-than

Typing speed game

Type composition classes & instances

Admin console framework

Digits, indexed by their base at the type level

Thread delay and timeout functions with typed arguments

Type safe string transformations

Bridge between encoding and typed-encoding packages

A framework for strongly typed FSM

GUI framework based on typed-fsm

Run external processes, with strong typing of streams

A binding of the typed-process library for the effectful effect system

Typed session framework

Typed and composable spreadsheets

A stream based replacement for lists

A strongly typed way to handle time and date formats

Phantom-Typed version of UUID

Language-independent type-safe communication

Haskell utility library required for code generated by typed-wire compiler

Typed frontend to TensorFlow and higher-order deep learning

Parser for SQL augmented with types

Create a unique hash value for a type

TypeIlluminator is a prototype tool exploring debugging of type errors/

Plugin to faciliate type-level let

Useful type level operations (type families and related operators)

Solve type equalities using custom type-level rewrite rules

Tensors whose ranks and dimensions type-inferred and type-checked

Type-safe printf from parsing GHC TypeLits Symbol

Existential witnesses, singletons, and classes for operations on GHC TypeLits

Some Nat-indexed types for GHC

Type level numbers using existing Nat functionality

Small script for inferring types

Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation

Efficient implementation of a dependent map with types as keys

Ghc-7.6/7.8 compatible GHC.TypeLits, Data

Enforce endianness with types

Type-safe transformations and purifications of PreCures (Japanese Battle Heroine)

A documentation generator for TypeScript Definition files

Type level numbers, vectors, list

Command Line Typing speed tester

Typelevel printf

Just let me draw nice text already

Drawings for printed text documents

Typson Beam Integration

Type-safe PostgreSQL JSON Querying

Typson Esqueleto Integration

Typson Selda Integration

Parsing and evaluating typst syntax

Parsing and evaluating typst syntax

Symbol and emoji lookup for typst language

Symbol and emoji lookup for typst language

Type derived JSON parsing using Aeson

Efficient time zone handling

Time zone database (as files and as a module)

Safe timezone-aware handling of time

Haskell Universal Two Factor helper toolbox library thing

A library for parsing User-Agent strings, official Haskell port of ua-parser

Userspace Advanced Configuration and Power Interface event daemon

A simplistic dependently-typed language with parametricity

Uber client for Haskell

Generate overloaded lenses from plain data declaration

The Ucam-Webauth protocol, used by Raven

Types for the Ucam-Webauth protocol, as used by Raven

Unicode Character Database — Predicates on characters specified by Unicode

Datatype and parser for the Universal Configuration Language (UCL) using libucl

String encoding conversion with ICU

Small DBus implementation

Model API for udbus introspection and definitions

Does a set of code words form a uniquely decodable code?

Libudev bindings

Simple fire-and-forget conduit UDP wrappers

Streaming to and from UDP socket

Haskell bindings for ueberzug to display images in the terminal

A simple (but internally ugly) memoization function

Part of UHC packaged as cabal/hackage installable library

UHC utilities

Hex dumper for UTF-8 text

Minimal HTTP client library optimized for benchmarking

A framework for friendly commandline programs

Simple unique identifier datatype, serializable and encodable as base32

Library for Arrowized Graphical User Interfaces

A library to work with the basic Ukrainian phonetics and syllable segmentation

A library to work with the basic Ukrainian phonetics and syllable segmentation

A library to work with the basic Ukrainian phonetics and syllable segmentation

A library to work with the basic Ukrainian phonetics and syllable segmentation

Implementation of ULID - Universally Unique Lexicographically Sortable Identifier

Another ULID implementation with tight memory representation

A small command-line accounting tool

Universal un-archiver utility

Bindings for libunac(3)

A fast, cache-efficient, concurrent bloom filter

Fast concurrent queues with a Chan-like API, and more

Unagi Chan IO-Streams

Unambiguous choice