Showing entries 3101-3200 out of 54071.
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
Generate a changelog from git metadata
Generate a changelog from git metadata
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
HTTP cookie parsing and rendering
HTTP cookie parsing and rendering
For serving cookies
Web cookies
Parser for the Cook markup language
A representation of latitude and longitude
A stream DSL for writing embedded C programs
A stream DSL for writing embedded C programs
A compiler for Copilot targeting FPGAs
A compiler for Copilot targeting C99
A compiler for Copilot targeting C99
Copilot interface to a C model-checker
An intermediate representation for Copilot
An intermediate representation for Copilot
FRP sketch programming with Copilot
Interpreter for Copilot
Interpreter for Copilot
A Haskell-embedded DSL for monitoring hard real-time distributed systems
A Haskell-embedded DSL for monitoring hard real-time distributed systems
Libraries for the Copilot language
Libraries for the Copilot language
A prettyprinter of Copilot Specifications
A prettyprinter of Copilot Specifications
A compiler for CoPilot targeting SBV
K-induction for Copilot
K-induction for Copilot
System for verifying the correctness of generated Copilot programs
Haskell interface to the Fedora Copr system
Copr API client libary
Yet another shell monad
An algebraic data type similar to Prelude Ordering
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
"Provide warnings for unexpected Core generation"
Interoperability with Servant
Interoperability with Wai/Warp
A bliki written using yesod
Write your main like it can call itself back
A GHC plugin for printing GHC's internal Core data structures
Manipulating Core Erlang source code
Bindings to Mac OSX's CoreFoundation framework
Launches CoreNLP and parses the JSON output
Types for interaction with CoreNLP
Classy optical monadic state
corneliscornelis
Agda-mode for Neovim
Please see the README on GitHub at https://github.com/isovector/cornelis#readme
Type-safe coroutines using lightweight session types
Bridge between the monad-coroutine and enumerator packages
Bridge between the monad-coroutine and iteratee packages