development

Simple type level natural numbers

High-level combinators for performing inductive operations

Basic operations on type-level natural numbers

Type level numbers implemented using type families

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

Utilities for writing Show-like type families

Type-level programming library (type families)

Operations on type-level lists and tuples

Type-indexed maps

Type-level natural and proofs of their properties

High performance type driven html generation

Optimize static parts of type-of-html

Various type-level operators

Type-level comparison operator

Generic type-level comparison of types

Partial port of prelude to the type level

Support functions to work with type representations

Classes for the rig (sums and products) of types

Type safe BST and AVL trees

Type set

Type-level sets

Sets and functions-as-relations in the type system

Type Level Specification by Example

A spine-view on types

Type structure analysis

Substitute types for other types with Template Haskell

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