Random verilog generation and simulator testing

Verilog preprocessor, parser, and AST

A new Haskeleton package

An intermediate language for Hoare logic style verification

Validation framework

Regular expressions made easy

Automatically add files to exposed-modules and other-modules

Statically checked sizes on Data.Vector

A type for points, as distinct from vectors

Instances of vector-space classes for OpenGL types

vector-space operations for finite maps using Data.Map

Algorithms for vector shuffling

(deprecated) Read instances for 'Data.Vector'

Generate vectors filled with high quality pseudorandom numbers

A type-safe library for vectors whose elements can be of any type, or any type satisfying some constraints

vectors that perform the fmap operation in constant time

Storable vectors with cpu-independent representation

Some special functions to work with Vector (with zip)

Conduit utilities for vectors

Vector clocks for versioning message flows

circular vectors

ByteStrings as type synonyms of Storable Vectors of Word8s

OpenGL support for the `vect' low-dimensional linear algebra library

A low-dimensional linear algebra library, operating on the Floating typeclass

Wrapper for source code management systems

A package to parse VCF files inspired in similar python libraries

Recursively check that a directory is under version control

semi-transparent persistence for Haskell using LMDB, STM

Client library for HashiCorp's Vault tool (via HTTP API)

Vary: Friendly and fast polymorphic variants (open unions/coproducts/extensible sums)

nominal value with possible variations

Abstractions for working with variadic functions

Monads with variables, without deep magic

Simple type for representing one of several media types

Process mpileup output to identify significant differences

The VarMonad typeclass, generalizing types of references

Mutable variables and tuples

Analyze and visualize expression trees

A library for generating values without having to thread state

Valuations

Composable validations for your Haskell data types

Straightforward validation monad

A nice way to define field validations in Haskell

Type-level constraints on strings and other input

Valid operator/module characters

Type isomorphic to `Either` with `Applicative` instance which combines errors

Runs commands on remote machines using ssh

Graph representation of the GHC heap

Core algorithms and datatypes used by vabal

Cross-language extensible representation for algebraic data type instances

Fast unboxed arrays with a flexible interface

Aeson types for UUID instances

Utility for drawing attribute grammar pictures with the diagrams package

Attribute Grammar System of Universiteit Utrecht

Utilities for compiler construction: core functionality

Primitive memory-related utilities

A collection of commonly used utils

See README for more info

Constant-space UTF8 validator for ByteStrings

Variants of Prelude and System.IO with UTF8 text I/O operations

A string conversion library that assumes utf8

UTF-8

A PostgreSQL backend for the users package

A persistent backend for the users package

A mysql-haskell backend for the users library

A collection of user agents

XML parser-printer supporting Ur/Web syntax extensions

A package for updatable discrete distributions

Universal Resource Names

Simple, declarative, expressive URL routing -- on happstack

Decode percent-encoded strings

Parallel link checker

Parse/format generic key/value URLs from record data types

Decoders for URL-encoding (aka Percent-encoding)

Memory efficient url type and parser

URI template library for Haskell

A simple library for parsing and generating URIs

A uri encoder to make your strings less readable

Read and write URIs (deprecated)

Library for working with URIs

Hoon-style atom manipulation and printing functions

Binding to upskirt

Haskell client for Uploadcare

A style of maintaining and upgrading Haskell projects

Units of measure as a GHC type-checker plugin

A command line tool to identify unused code

An extension removing the sequentiality from monads

Unsatisfiable type class

Flexible access control for unsafe operations and instances

Compiler plugin for loop unrolling

optional text that unpacks well

An unpacked maybe data type

An unpacked either data type

Unpacked containers via backpack

Monad transformers that mirror worker-wrapper transformations

A specialization of `HashMap Int v`

Graph library using unordered-containers