MyNixOS website logo
package-set

haskellPackages

Showing entries 2901-3000 out of 18268.
Store and retrieve data from an on-disk store
Thread-indexed, nested contexts
Generate art from context-free grammars
Basic algorithms on context-free grammars
Modify HTTP requests/responses using context
Thread-safe, pool-compatible resource provider
An abstraction of a stack and stack-based monadic context
Add request-specific (or not!)
Implementation of the context algebra
Unified interface for primitive arrays
Contiguous with bounds checks
Dft of contiguous memory structures
Monads with suspension and arbitrary-spot reentry
Types and functions for working with continued fractions in Haskell
Continued fractions
Continuum Database Client
Continuum Database Client
Arrow and contravariant tracers
A logging library built on top of contra-tracer to make configuring and declaring multiple tracers…
Validation types/typeclass based on the contravariance
Practical typed lazy contracts
Contravariant functors
Extras for the "contravariant" package
Class of monad transformers which control operations can be lifted thru
Higher-order functions with their function arguments at the end, for channeling the full power of …
Useful combinators for boolean expressions
Haskell operator g
An alternative to monads in do-notation
A parallel producer/consumer engine (thread pool)
Event scheduling system
A typeclass for type isomorphisms
Monad transformer for attempt
Explicitly typed, checked exceptions with stack traces
Monads-fd instances for the EMT exceptions monad transformer
Monads-tf instances for the EMT exceptions monad transformer
MTL instances for the EMT exceptions monad transformer
A class for monads which can fail with an error
A class for monads which can fail with an error for mtl 1 (deprecated)
Free monads and monad transformers
Simple monad transformer for imperative-style loops
A Library for Writing Multi-Pass Algorithms
A breadth-first list monad
Reusable corecursive queues, via continuations
A variation on the ST monad with two type parameters
Timeout handling
Fast, easy to use CPS-based monad transformers
ContStuff instances for monads-tf transformers (deprecated)
Deprecated interface between contstuff 0.7.0 and the transformers package
Limit operations for converging sequences
Universal converter between values of different types
"Conversion" instances for the "bytestring" library
"Conversion" instances for the "case-insensitive" library
"Conversion" instances for the "text" library
Injective explicit total and partial conversions
Safe and unsafe data conversion utilities with strong type-level operation
Convert the annotation of a gene to another in a delimited file using a variety of different datab…
Typeclasses and instances for converting between types
Convertible instances for ascii
Typeclasses and instances for converting between types (deprecated)
Convex hull
Tiered general-purpose libraries with domain-specific applications
cookiecookieNix package
HTTP cookie parsing and rendering
cookiecookie_0_5_0Nix package
HTTP cookie parsing and rendering
For serving cookies
Web cookies
Parser for the Cook markup language
A representation of latitude and longitude
copilotcopilotNix package
A stream DSL for writing embedded C programs
copilotcopilot_3_20Nix package
A stream DSL for writing embedded C programs
A compiler for Copilot targeting FPGAs
copilot-c99copilot-c99Nix package
A compiler for Copilot targeting C99
copilot-c99copilot-c99_3_20Nix package
A compiler for Copilot targeting C99
Copilot interface to a C model-checker
copilot-corecopilot-coreNix package
An intermediate representation for Copilot
copilot-corecopilot-core_3_20Nix package
An intermediate representation for Copilot
FRP sketch programming with Copilot
copilot-interpretercopilot-interpreterNix package
Interpreter for Copilot
copilot-interpretercopilot-interpreter_3_20Nix package
Interpreter for Copilot
copilot-languagecopilot-languageNix package
A Haskell-embedded DSL for monitoring hard real-time distributed systems
copilot-languagecopilot-language_3_20Nix package
A Haskell-embedded DSL for monitoring hard real-time distributed systems
copilot-librariescopilot-librariesNix package
Libraries for the Copilot language
copilot-librariescopilot-libraries_3_20Nix package
Libraries for the Copilot language
copilot-prettyprintercopilot-prettyprinterNix package
A prettyprinter of Copilot Specifications
copilot-prettyprintercopilot-prettyprinter_3_20Nix package
A prettyprinter of Copilot Specifications
A compiler for CoPilot targeting SBV
copilot-theoremcopilot-theoremNix package
K-induction for Copilot
copilot-theoremcopilot-theorem_3_20Nix package
K-induction for Copilot
System for verifying the correctness of generated Copilot programs
coprNix package
Haskell interface to the Fedora Copr system
Copr API client libary
Yet another shell monad
An algebraic data type similar to Prelude Ordering
coreNix package
External core parser and pretty printer
Compile your own mini functional language with Core
Convenience wrappers around common data structures and encodings
Interoperability with the effectful effects system
A subset of Haskell using in UCC for teaching purpose
Opinionated Haskell Interoperability
Advanced telemetry
A rope type based on a finger tree over UTF-8 fragments