Showing entries 3101-3200 out of 52683.
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
Copy files && directories with webpack
Copy files && directories with webpack
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
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
An object frequency counter
Country data type and functions
ISO 3166 country codes and i18n names
A message-passing library for simplifying network applications
Simple and flexible CI system
Well-conditioned estimation of large-dimensional covariance matrices
Exhaustivity Checking Library
Coya monoids
Haskell bindings to the CozoDB C API
A simple C++ parser with preprocessor features
A simple Brainfuck interpretter
Conduit-based CPIO
Build tool for C
An interpreter of Hagino's Categorical Programming Language (CPL)
High-level CPLEX interface
C++ Foreign Import Generation
Bindings for C++ demangling routines
A liberalised re-implementation of cpp, the C pre-processor
Crypto Pseudo Random Number Generator using AES in counter mode
Run random effect using cprng-aes, a crypto pseudo number generator
ExceptT replacement in CPS style
Symbolic cryptographic protocol analyzer