MyNixOS website logo
categories

development

Showing entries 3101-3200 out of 54319.
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
conventional-changelog-clinodePackages_latestNix package
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
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_4_3Nix 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_4_3Nix 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_4_3Nix package
An intermediate representation for Copilot
FRP sketch programming with Copilot
copilot-interpretercopilot-interpreterNix package
Interpreter for Copilot
copilot-interpretercopilot-interpreter_4_3Nix package
Interpreter for Copilot
copilot-languagecopilot-languageNix package
A Haskell-embedded DSL for monitoring hard real-time distributed systems
copilot-languagecopilot-language_4_3Nix package
A Haskell-embedded DSL for monitoring hard real-time distributed systems
copilot-librariescopilot-librariesNix package
Libraries for the Copilot language
copilot-librariescopilot-libraries_4_3Nix package
Libraries for the Copilot language
copilot-prettyprintercopilot-prettyprinterNix package
A prettyprinter of Copilot Specifications
copilot-prettyprintercopilot-prettyprinter_4_3Nix package
A prettyprinter of Copilot Specifications
A compiler for CoPilot targeting SBV
copilot-theoremcopilot-theoremNix package
K-induction for Copilot
copilot-theoremcopilot-theorem_4_3Nix package
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
corneliscornelisNix package
Agda-mode for Neovim
cornelishaskellPackages.cornelisNix package
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
Object-oriented programming realization using coroutine
A CouchDB view server for Haskell
A modern, lightweight, complete client for CouchDB
CouchDB interface
Couch DB client library using http-conduit and aeson
Couch DB client library using http-enumerator and aeson
Bijective mappings between values and possibly infinite prefixes of [0..]
Countable, Searchable, Finite, Empty classes
Countable Text Inflections