development

Morph between tuples, or convert them from and to HLists

Various operations on n-ary tuples via GHC.Generics

Functions on n-ary tuples using generics-sop

Generate (non-recursive) utility functions for tuples of statically known size

Left Encode and friends from SHA-3's TupleHash

Functor, Applicative and Monad for n-ary tuples

Small monomorphic tuples

Wrappers for n-ary tuples with Traversable and Applicative/Monad instances

A simple simulator for Turing machines

A simple simulator for Turing machines

Plays music generated by Turing machines with 5 states and 2 symbols

An implementation of Turing Machine and Automaton

Haskell port of Deniz Yuret's Turkish deasciifier

Manage multiple turned-based sessions

Shifts scheduling tool

Shell programming, Haskell-style

Collection of command line options and parsers for these options

Tangible Values -- composable interfaces

Trailing Whitespace

Tiny web application framework for WAI

A library for incremental computing

An equational theorem prover

An equational theorem prover

Command-line tool for twitter

Command-line tool for twitter

Lab Assignments Environment at Univeriteit Twente

Used as Lab Assignments Environment at the University of Twente

Tree type and show functions for lab assignment of University of Twente

Lab Assignments Environment at Univeriteit Twente

Lab Assignments Environment at Univeriteit Twente

RoseTree type and show functions for lab assignment of University of Twente

Tree type and show functions for lab assignment of University of Twente

A fork of the popular websockets package

Rubik's cube solver

They Work For You API Client Library

CLI twitter client

Unix Command-Line Twitter and Identica Client

STM library with safe irrevocable I/O and inconsistency repair

Twilio REST API library for Haskell

Twilio API interaction

TwiML library for Haskell

Very simple template language

Simple 2D Game Engine

Haskell twirp foundations

Simulator of twisty puzzles à la Rubik's Cube

A high level file watcher DSL

Client access to Twitch.tv API endpoints

A Haskell-based CLI Twitter client

Twitter API package with conduit interface and Streaming API support

Twitter API package with enumerator interface and Streaming API support

Client for fetching Twitter timeline via Oauth

Twitter JSON parser and types

Twitter JSON types (lens powered)

Reader for the 2bit file format

An implementation of the Twofish Symmetric-key cipher

Persistent transactions on top of STM

Text

The SQL link in your *NIX chain

Filter to convert plain text files to RTF

Deprecated in favor of eros

Typed type representations and equality proofs

Template Your Boilerplate - a Template Haskell version of SYB

Provide proof witnesses for closed type family evaluation

Analyzes Haskell source files for easy reference

Various type-aligned sequence data structures

Runtime type assertions for testing

Type-level booleans via type-families

Utilities for caching type families results

Type-level serialization of type constructors

A collection of data types for type-level programming

Quasiquoters for the 'type-combinators' package

Interop between /type-combinators/ and /singletons/

Type-level Ord compatibility layer

Arbitrary-base type-level digits

Type equality evidence you can carry around

Data

Type equality check

Tools for writing better type errors

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