BROWSE · DEVELOPMENT
Development
22,646 packages in Development
Toolkit for building proof automation systems
codex
Reifies arbitrary terms into types that can be reflected back into terms
codex
Toolkit for regex-base
codex
Regex-based parsing with applicative interface
codex
Wrapped regex-applicative primitives to work with Text
codex
Common "Text.Regex.*" API for Regex matching
codex
Replaces and enhances Text.Regex
codex
One module layer over regex-tdfa to replace Text.Regex.
codex
PCRE Backend for Text.Regex (regex-base)
codex
POSIX Backend for Text.Regex (regex-base)
codex
Pure Haskell Tagged DFA Backend for Text.Regex (regex-base)
codex
Memory reinterpretation casts for Float/Double and Word32/Word64
codex
Safe, performant, user-friendly and lightweight Haskell Standard Library.
codex
Haskeline wrapper for GHCi-like REPL interfaces
codex
HTTP client library
codex
Regular-expressions extended with fixpoints for context-free powers
codex
Reexports from "base" with a bunch of other standard libraries
codex
Domain Name Service (DNS) lookup via the libresolv standard library routines
codex
A high-performance striped resource pooling implementation
codex
Deterministic allocation and freeing of scarce resources.
codex
A powerful, easy-to-use codemodding tool for Haskell.
codex
Retry combinators for monadic actions that may fail
codex
Simple unicode collation as per RFC5051.
codex
A standard library for Haskell
codex
Orphan instances for the RIO type in the rio package
codex
Pretty-printing for RIO
codex
Parsing and pretty printing of Roman numerals
codex
Ropes optimised for updating using UTF-16 code units and row/column pairs
codex
Open Records and Variants
codex
Implementation of RSA, using the padding schemes of PKCS#1 v2.1.
codex