Showing entries 16801-16900 out of 18345.
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
Does a set of code words form a uniquely decodable code?
Libudev bindings
Simple fire-and-forget conduit UDP wrappers
Streaming to and from UDP socket
Haskell bindings for ueberzug to display images in the terminal
A simple (but internally ugly) memoization function
Part of UHC packaged as cabal/hackage installable library
UHC utilities
Hex dumper for UTF-8 text
Minimal HTTP client library optimized for benchmarking
A framework for friendly commandline programs
Simple unique identifier datatype, serializable and encodable as base32
Library for Arrowized Graphical User Interfaces
A library to work with the basic Ukrainian phonetics and syllable segmentation
A library to work with the basic Ukrainian phonetics and syllable segmentation
A library to work with the basic Ukrainian phonetics and syllable segmentation
A library to work with the basic Ukrainian phonetics and syllable segmentation
Implementation of ULID - Universally Unique Lexicographically Sortable Identifier
Another ULID implementation with tight memory representation
A small command-line accounting tool
Universal un-archiver utility
Bindings for libunac(3)
A fast, cache-efficient, concurrent bloom filter
Fast concurrent queues with a Chan-like API, and more
Unagi Chan IO-Streams
Unambiguous choice
Functional concurrency with unamb using a custom scheduler
Opinionated Haskell Interoperability
Generic support for programming with names and binders
Support for programming with names and binders using GHC Generics
Unification based on unbound-generics
Support for programming with names and binders using kind-generics
Unbounded thread delays and timeouts
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
Fast unboxed references for ST and IO monad
A library for reference cells backed by unboxed-vectors
A newtype-friendly variant of unboxed vectors
Secure and resilient remote file storage utility
Customize uncaught exception handling
Manipulating numbers with inherent experimental/measurement uncertainty
A library which implements easy, concurrent and pretty logging
Unconditional jumps
Null constraint
Tiny package providing unescaping versions of show and print
IO without any non-error, synchronous exceptions
A wrapper around UnexceptionalIO using monad transformers
Unfixing and recursion schemes for data types with binders
Class of data structures that can be unfolded
An alternative to the Unfoldable typeclass
Make any action thread safe
Simplistic free monad with deriving through UndecidableInstances
Abstract GADTs from typelevel tags
Uni events
Graphs