development

Combinators for writing pretty type errors easily

Please see the README on GitHub at https://github.com/githubuser/type-flip#readme

Collection of widely reimplemented type families

Emulation of type-level functions

Guide type inference with proxy values

Queues with verified and unverified versions

Type Level 2s- and 16s- Complement Integers

Interpreter for Template Haskell types

Typeclasses for injective relations and isomorphisms between types

Type-level programming library

Type-level binary search trees in haskell

Tools for manipulating type-level bytes and bytestrings

Provides integers lifted to the type level

Type level Key-Value list

Make Esqueleto handy with type-level-kv-list

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

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

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

A framework for strongly typed protocols

Derive documentation from typed-protocols source code

An efficient and versatile typed range library

Typed session framework

Automatically generate status for typed-session

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 level tools

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