Type Level 2s- and 16s- Complement Integers

Interpreter for Template Haskell types

type-level binary search trees in haskell

Make Esqueleto handy with type-level-kv-list

Make Persistent Raw SQL handy with type-level-kv-list

High-level combinators for performing inductive operations

Basic operations on type-level natural numbers

Type-level sets and finite maps (with value-level counterparts)

Operations on type-level lists and tuples

Optimize static parts of type-of-html

Various type-level operators

Partial port of prelude to the type level. Requires GHC 7.6.1.

Support functions to work with type representations

Type safe BST and AVL trees

Sets and functions-as-relations in the type system

A spine-view on types

Tree representations of datatypes

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

Automatic deriving of TypeableN instances with Template Haskell

An implementation of LangChain in Haskell

Admin console framework

Digits, indexed by their base at the type level

Type safe string transformations

GUI framework based on typed-fsm

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

A framework for strongly typed protocols

Derive documentation from typed-protocols source code

typed session framework

Automatically generate status for typed-session

A strongly typed way to handle time and date formats

Language-independent type-safe communication

Parser for SQL augmented with types

Create a unique hash value for a type

Plugin to faciliate type-level let

Solve type equalities using custom type-level rewrite rules

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

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

ghc-7.6/7.8 compatible GHC.TypeLits, Data.Typeable and Data.Proxy.

Typelevel printf

Just let me draw nice text already

Type-safe PostgreSQL JSON Querying

Type derived JSON parsing using Aeson

Safe timezone-aware handling of time

A simplistic dependently-typed language with parametricity

Userspace Advanced Configuration and Power Interface event daemon

Generate overloaded lenses from plain data declaration

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

Simple fire-and-forget conduit UDP wrappers

Streaming to and from UDP socket

Haskell bindings for ueberzug to display images in the terminal

Interface with Ettus USRP SDRs

hex dumper for UTF-8 text

Minimal HTTP client library optimized for benchmarking

A framework for friendly commandline programs

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

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

Display Ukulele fingering charts in the terminal

Another ULID implementation with tight memory representation

Bindings for libunac(3)

Functional concurrency with unamb using a custom scheduler

Opinionated Haskell Interoperability

Thread delays and timeouts using proper time units

All the standard sum types but strict and unboxed as possible

Self-optimizing unboxed sets using view patterns and data families

A library for reference cells backed by unboxed-vectors

Secure and resilient remote file storage utility

Tiny package providing unescaping versions of show and print

Unfixing and recursion schemes for data types with binders

Make any action thread safe

Simplistic free monad with deriving through UndecidableInstances

Utilities for the uniform workbench

Unicode characters names and aliases

Unicode security mechanisms database

Unicode General Category Database

Unicode notation for some definitions in Prelude

Unicode alternatives for common functions and operators

Functions to work with unicode blocks more convenient

uniform wrapper for shake

A union-find/map data structure

Efficient union and equivalence testing of sets

Heterogeneous map by open unions

UniProt-KB format parser

Esoteric programming language where each number can only appear once

Splittable Unique Identifier Supply

Can be used to produce the similar to 'String.Ukrainian.UniquenessPeriods' functions.

Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality

Generalization of the dobutokO-poetry-general package functionality

Attoparsec parsers for the units package

Extensible typed Dimensions

An extendable library for type-safe computations including units

A monad type class shared between web services

Parser for OS X Universal Binary format

Universe instances for types from the base package

Universe instances for types from the transformers and mtl packages